{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T20:04:19Z","timestamp":1780085059988,"version":"3.54.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100011039","name":"Office of the Director of National Intelligence (ODNI), Intelligence Advanced Research Projects Activity","doi-asserted-by":"publisher","award":["2021-21090200005"],"award-info":[{"award-number":["2021-21090200005"]}],"id":[{"id":"10.13039\/100011039","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE J. Solid-State Circuits"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1109\/jssc.2025.3617458","type":"journal-article","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T17:58:13Z","timestamp":1761587893000},"page":"3125-3137","source":"Crossref","is-referenced-by-count":1,"title":["A Stochastic Analog Boolean Satisfiability Solver"],"prefix":"10.1109","volume":"61","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2558-4159","authenticated-orcid":false,"given":"Shiyu","family":"Su","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6782-8086","authenticated-orcid":false,"given":"Qiaochu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Charles L. Brown Department of Electrical and Computer Engineering, University of Virginia, Charlottesville, VA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zerui","family":"Liu","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9112-6628","authenticated-orcid":false,"given":"Hsiang-Chun","family":"Cheng","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4048-7290","authenticated-orcid":false,"given":"Zhengyi","family":"Qiu","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Waterloo, Waterloo, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mayank","family":"Palaria","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiacheng","family":"Ye","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deming","family":"Meng","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Buyun","family":"Chen","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7562-0659","authenticated-orcid":false,"given":"Sushmit","family":"Hossain","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6404-0317","authenticated-orcid":false,"given":"Wei","family":"Wu","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7033-272X","authenticated-orcid":false,"given":"Mike","family":"Shuo-Wei Chen","sequence":"additional","affiliation":[{"name":"Ming Hsieh Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"The complexity of theorem-proving procedures","author":"Cook","year":"2023","journal-title":"Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook"},{"key":"ref2","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3233\/faia336"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HOST49136.2021.9702267"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2024.3352585"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC42615.2023.10067380"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LSSC.2023.3303332"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CICC53496.2022.9772850"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2024.3352907"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC49657.2024.10454397"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC49661.2025.10904814"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VLSITechnologyandCir46783.2024.10631503"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1088\/1742-5468\/2008\/04\/P04004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1993.1010"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/026\/25"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms9941"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-024-60316-y"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2754192"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-024-45670-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1126\/science.adi9405"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0653(04)00331-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006310219368"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/isscc.2014.6757434"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2016.2519383"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2021.3137312"},{"key":"ref29","volume-title":"SATLIB\u2013Benchmark Problems","year":"2000"}],"container-title":["IEEE Journal of Solid-State Circuits"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4\/11538140\/11216139.pdf?arnumber=11216139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T19:56:13Z","timestamp":1780084573000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11216139\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":29,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/jssc.2025.3617458","relation":{},"ISSN":["0018-9200","1558-173X"],"issn-type":[{"value":"0018-9200","type":"print"},{"value":"1558-173X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]}}}