{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:11:09Z","timestamp":1743084669948,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031637414"},{"type":"electronic","value":"9783031637421"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-63742-1_19","type":"book-chapter","created":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T20:11:01Z","timestamp":1718655061000},"page":"269-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["High Quality Circuit-Based 3-SAT Mappings for\u00a0Oscillator Ising Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-7762-8575","authenticated-orcid":false,"given":"Venkata Pavan Sumanth","family":"Sikhakollu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7326-4943","authenticated-orcid":false,"given":"Shreesha","family":"Sreedhara","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8211-6602","authenticated-orcid":false,"given":"Rajit","family":"Manohar","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Mishchenko","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2684-2279","authenticated-orcid":false,"given":"Jaijeet","family":"Roychowdhury","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,6,18]]},"reference":[{"key":"19_CR1","unstructured":"SATLIB benchmark problems. https:\/\/www.cs.ubc.ca\/~hoos\/SATLIB\/benchm.html"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Bhansali, P., Roychowdhury, J.: Gen-Adler: the generalized Adler\u2019s equation for injection locking analysis in oscillators. In: Proceedings of the IEEE ASP-DAC, pp. 522\u2013227 (2009)","DOI":"10.1109\/ASPDAC.2009.4796533"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"56","DOI":"10.3389\/fphy.2014.00056","volume":"2","author":"Z Bian","year":"2014","unstructured":"Bian, Z., Chudak, F., Israel, R., Lackey, B., Macready, W.G., Roy, A.: Discrete optimization using quantum annealing on sparse Ising models. Front. Phys. 2, 56 (2014). https:\/\/doi.org\/10.3389\/fphy.2014.00056","journal-title":"Front. Phys."},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","volume-title":"Computer Aided Verification","author":"R Brayton","year":"2010","unstructured":"Brayton, R., Mishchenko, A.: ABC: an academic industrial-strength verification tool. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 24\u201340. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_5"},{"issue":"7","key":"19_CR5","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1038\/s41928-020-0436-6","volume":"3","author":"F Cai","year":"2020","unstructured":"Cai, F., et al.: Power-efficient combinatorial optimization using intrinsic noise in memristor Hopfield neural networks. Nature Electron. 3(7), 409\u2013418 (2020). https:\/\/doi.org\/10.1038\/s41928-020-0436-6","journal-title":"Nature Electron."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"031014","DOI":"10.1103\/PhysRevX.7.031014","volume":"7","author":"KY Camsari","year":"2017","unstructured":"Camsari, K.Y., Faria, R., Sutton, B.M., Datta, S.: Stochastic $$p$$-bits for invertible logic. Phys. Rev. X 7, 031014 (2017). https:\/\/doi.org\/10.1103\/PhysRevX.7.031014","journal-title":"Phys. Rev. X"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"37107","DOI":"10.1038\/srep37107","volume":"6","author":"N Chancellor","year":"2016","unstructured":"Chancellor, N., Zohren, S., Warburton, P.A., Benjamin, S.C., Roberts, S.: A direct mapping of max k-SAT and high order parity checks to a chimera graph. Sci. Rep. 6(1), 37107 (2016)","journal-title":"Sci. Rep."},{"key":"19_CR8","unstructured":"Choi, V.: Adiabatic quantum algorithms for the NP-complete maximum-weight independent set, exact cover and 3SAT problems. arXiv preprint arXiv:1004.2226 (2010)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"10757","DOI":"10.1038\/s41598-024-60316-y","volume":"14","author":"H C\u0131lasun","year":"2023","unstructured":"C\u0131lasun, H., et al.: 3SAT on an all-to-all-connected CMOS Ising solver chip. Sci. Rep. 14, 10757 (2023)","journal-title":"Sci. Rep."},{"issue":"40","key":"19_CR10","doi-asserted-by":"publisher","first-page":"eabh0952","DOI":"10.1126\/sciadv.abh0952","volume":"7","author":"T Honjo","year":"2021","unstructured":"Honjo, T., et al.: 100,000-spin coherent Ising machine. Sci. Adv. 7(40), eabh0952 (2021). https:\/\/doi.org\/10.1126\/sciadv.abh0952","journal-title":"Sci. Adv."},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1126\/science.aah4243","volume":"354","author":"T Inagaki","year":"2016","unstructured":"Inagaki, T., et al.: A coherent Ising machine for 2000-node optimization problems. Science 354, 603\u2013606 (2016). https:\/\/doi.org\/10.1126\/science.aah4243","journal-title":"Science"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Ising, E.: Beitrag zur theorie des ferromagnetismus. Zeitschrift f\u00fcr Physik 31, 253\u2013258 (1925). https:\/\/api.semanticscholar.org\/CorpusID:122157319","DOI":"10.1007\/BF02980577"},{"key":"19_CR13","unstructured":"Jagielski, T., Manohar, R., Roychowdhury, J.: FPIM: field-programmable Ising machines for solving SAT. arXiv preprint arXiv:2306.01569 (2023)"},{"issue":"7346","key":"19_CR14","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1038\/nature10012","volume":"473","author":"MW Johnson","year":"2011","unstructured":"Johnson, M.W., et al.: Quantum annealing with manufactured spins. Nature 473(7346), 194\u2013198 (2011). https:\/\/doi.org\/10.1038\/nature10012","journal-title":"Nature"},{"key":"19_CR15","doi-asserted-by":"publisher","unstructured":"Karp, R.M.: Reducibility among Combinatorial Problems, pp. 85\u2013103. Springer US, Boston, MA (1972). https:\/\/doi.org\/10.1007\/978-1-4684-2001-2_9","DOI":"10.1007\/978-1-4684-2001-2_9"},{"issue":"4598","key":"19_CR16","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science 220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"74887","DOI":"10.3389\/fphy.2014.00005","volume":"2","author":"A Lucas","year":"2014","unstructured":"Lucas, A.: Ising formulations of many NP problems. Front. Phys. 2, 74887 (2014). https:\/\/doi.org\/10.3389\/fphy.2014.00005","journal-title":"Front. Phys."},{"key":"19_CR18","doi-asserted-by":"publisher","unstructured":"Marques-Silva, J.: Practical applications of boolean satisfiability. In: 2008 9th International Workshop on Discrete Event Systems, pp. 74\u201380 (2008). https:\/\/doi.org\/10.1109\/WODES.2008.4605925","DOI":"10.1109\/WODES.2008.4605925"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Neogy, A., Roychowdhury, J.: Analysis and design of sub-harmonically injection locked oscillators. In: Proceedings of the IEEE DATE (2012)","DOI":"10.1109\/DATE.2012.6176677"},{"issue":"6","key":"19_CR20","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1080\/1055678021000090033","volume":"17","author":"P Festa","year":"2002","unstructured":"Festa, P., Pardalos, P.M., Resende, M.G.C., Ribeiro, C.C.: Randomized heuristics for the max-cut problem. Optim. Methods Softw. 17(6), 1033\u20131058 (2002). https:\/\/doi.org\/10.1080\/1055678021000090033","journal-title":"Optim. Methods Softw."},{"key":"19_CR21","unstructured":"Roychowdhury, J., Wabnig, J., Srinath, K.P.: Performance of Oscillator Ising Machines on Realistic MU-MIMO Decoding Problems. Research Square preprint (Version 1) (2021). Web link to preprint"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Sreedhara, S., Roychowdhury, J., Wabnig, J., Srinath, P.K.: MU-MIMO Detection Using Oscillator Ising Machines. In: Proceedings of the ICCAD, pp.\u00a01\u20139 (2023)","DOI":"10.1109\/ICCAD57390.2023.10323680"},{"key":"19_CR23","doi-asserted-by":"publisher","unstructured":"Su, J., Tu, T., He, L.: A quantum annealing approach for boolean satisfiability problem. In: Proceedings of the IEEE DAC, pp.\u00a01\u20136 (2016). https:\/\/doi.org\/10.1145\/2897937.2897973","DOI":"10.1145\/2897937.2897973"},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"Wang, T., Roychowdhury, J.: OIM: oscillator-based Ising machines for solving combinatorial optimisation problems. arXiv:1903.07163 (2019)","DOI":"10.1007\/978-3-030-19311-9_19"},{"key":"19_CR25","doi-asserted-by":"publisher","unstructured":"Wang, T., Roychowdhury, J.: OIM: oscillator-based Ising machines for solving combinatorial optimisation problems. In: Proceedings of the UCNC. LNCS sublibrary: Theoretical Computer Science and General Issues. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-19311-9_19","DOI":"10.1007\/978-3-030-19311-9_19"}],"container-title":["Lecture Notes in Computer Science","Unconventional Computation and Natural Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-63742-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T20:13:23Z","timestamp":1718655203000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-63742-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031637414","9783031637421"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-63742-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"18 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"UCNC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Unconventional Computation and Natural Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pohang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"uc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/view\/ucnc-2024","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}