{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T22:08:03Z","timestamp":1775081283361,"version":"3.50.1"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T00:00:00Z","timestamp":1771113600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,2,15]],"date-time":"2026-02-15T00:00:00Z","timestamp":1771113600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2024YFB3108102"],"award-info":[{"award-number":["2024YFB3108102"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,2,15]]},"DOI":"10.1109\/isscc49663.2026.11409274","type":"proceedings-article","created":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T20:50:24Z","timestamp":1772571024000},"page":"184-186","source":"Crossref","is-referenced-by-count":0,"title":["SharpSAT: A Heuristic-Learning-Based SAT Accelerator Achieving 0.8\u03bcs\/16.1\u03bcs Solution Time in SAT\/UNSAT Cases"],"prefix":"10.1109","author":[{"given":"Yi","family":"Huang","sequence":"first","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Kong","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iris Ying","family":"Chou","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Kong","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianfeng","family":"Zhu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liangwei","family":"Li","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Li","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hanning","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aoyang","family":"Zhang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leibo","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2008.4605925"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/isscc49661.2025.10904686"},{"key":"ref3","first-page":"446","article-title":"A Physics-Inspired Oscillator-Based Mixed-Signal Optimization Engine for Solving 50-Variable 218-Clause 3-SAT Problems with 100% Solvability and 31.7 \u03bcs Solution Time","author":"Dikopoulos","year":"2025","journal-title":"ISSCC"},{"key":"ref4","article-title":"A Stochastic Analog SAT Solver in 65 nm CMOS Achieving 6.6 \u03bcs Average Solution Time with 100% Solvability for Hard 3-SAT Problems","volume-title":"IEEE Symp. on VLSI Circuits","author":"Zhang","year":"2024"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/isscc49657.2024.10454397"},{"key":"ref6","first-page":"28","article-title":"A 32.5 mw Mixed-Signal Processing-In-Memory-Based K-Sat Solver in 65 nm CMOS With 74.0% Solvability for 30-Variable 126-Clause 3-SAT Problems","author":"Kim","year":"2023","journal-title":"ISSCC"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/isscc42615.2023.10067380"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1023\/A:1006350622830","article-title":"Local Search Algorithms for SAT: An Empirical Evaluation","volume":"24","author":"Holger","year":"2000","journal-title":"J. Autom. Reason."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/tcad.2002.804386"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0041-y"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btq215"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref14","first-page":"50","article-title":"CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020","volume-title":"Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions","volume":"B-2020-1","author":"Biere","year":"2020"}],"event":{"name":"2026 IEEE International Solid-State Circuits Conference (ISSCC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2026,2,15]]},"end":{"date-parts":[[2026,2,19]]}},"container-title":["2026 IEEE International Solid-State Circuits Conference (ISSCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11408863\/11408946\/11409274.pdf?arnumber=11409274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:06:52Z","timestamp":1775074012000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11409274\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,15]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/isscc49663.2026.11409274","relation":{},"subject":[],"published":{"date-parts":[[2026,2,15]]}}}