{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:07:10Z","timestamp":1730272030532,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1109\/iscas.2019.8702694","type":"proceedings-article","created":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T21:02:28Z","timestamp":1556744548000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Simulation of an Analogue Circuit Solving NP-Hard Optimization Problems"],"prefix":"10.1109","author":[{"given":"Dora","family":"Babicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Attila","family":"Tihanyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miklos","family":"Koller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Csaba","family":"Rekeczky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andras","family":"Horvath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1126\/science.268.5210.545"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/81.224308"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0944-2_4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1038\/nphys2105"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2754192"},{"key":"ref15","article-title":"Computers and intractability: A guide to the theory of npcompleteness (series of books in the mathematical sciences), ed","volume":"340","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"ref16","first-page":"406","article-title":"The constrainedness knife-edge","author":"walsh","year":"1998","journal-title":"AAAI\/IAAI"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SFFCS.1999.814612"},{"article-title":"A full derandomization of schöning’s k-sat algorithm","year":"2010","author":"moser","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms12996"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90081-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref6","article-title":"Rsat 2.0: Sat solver description","volume":"7","author":"pipatsrisawat","year":"2007","journal-title":"Sat competition"},{"key":"ref5","first-page":"502","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2003","journal-title":"International Conference on Theory and Applications of Satisfiability Testing"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/026\/25"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.12928\/telkomnika.v10i4.860"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00226291"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.08.002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CNNA.2012.6331411"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.matsci.30.1.681"},{"journal-title":"SPICE-simulation program with integrated circuit emphasis","year":"1973","author":"nagel","key":"ref21"}],"event":{"name":"2019 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2019,5,26]]},"location":"Sapporo, Japan","end":{"date-parts":[[2019,5,29]]}},"container-title":["2019 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8682239\/8702066\/08702694.pdf?arnumber=8702694","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:13:03Z","timestamp":1657854783000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8702694\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iscas.2019.8702694","relation":{},"subject":[],"published":{"date-parts":[[2019,5]]}}}