{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T04:44:59Z","timestamp":1773377099776,"version":"3.50.1"},"reference-count":17,"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 Research and Development Program of China","doi-asserted-by":"publisher","award":["2024YFB4405501"],"award-info":[{"award-number":["2024YFB4405501"]}],"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.11409109","type":"proceedings-article","created":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T20:50:24Z","timestamp":1772571024000},"page":"180-182","source":"Crossref","is-referenced-by-count":0,"title":["A 28nm Mode-Reconfigurable CAM-CIM Hybrid Complete 3-SAT Solver Supporting Conflict-Driven Clause Learning with 100% Solvability"],"prefix":"10.1109","author":[{"given":"Zihan","family":"Wu","sequence":"first","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiyuan","family":"Tang","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lishan","family":"Lin","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youming","family":"Yang","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoyang","family":"Luo","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bocheng","family":"Xu","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yitao","family":"Liang","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaochen","family":"Bo","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0183-4"},{"key":"ref2","article-title":"SAT-Based Synthesis Methods for Safety Specs","volume-title":"International Conf. on Verification, Model Checking, and Abstract Interpretation","author":"Roderick","year":"2014"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12520"},{"key":"ref4","first-page":"143","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":"ref5","article-title":"An Analog Clock-Free Compute Fabric Base on Continuous-Time Dynamical System for Solving Combinatorial Optimization Problems","volume-title":"IEEE CICC","author":"Muya","year":"2022"},{"key":"ref6","article-title":"A Stochastic Analog SAT Solver in 65nm CMOS Achieving 6.6us Average Solution Time with 100% Solvability for Hard 3-SAT Problems.","volume-title":"IEEE Symp. VLSI Circuits","author":"Qiaochu","year":"2024"},{"key":"ref7","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":"Daehyun","year":"2023","journal-title":"ISSCC"},{"key":"ref8","first-page":"420","article-title":"Snap-SAT: A One-Shot Energy-Performance-Aware All-Digital Compute-in-Memory Solver for Large-Scale Hard Boolean Satisfiability Problems","author":"Shanshan","year":"2023","journal-title":"ISSCC"},{"key":"ref9","first-page":"614","article-title":"SKADI: A 28nm Complete K-SAT Solver Featuring Dual-Path SRAMBased Macro and Incremental Update with 100% Solvability","author":"Zihan","year":"2025","journal-title":"ISSCC"},{"key":"ref10","article-title":"A Fully Integrated Mixed-Signal Compute-In-Memory Accelerator for Solving Arbitrary Order Boolean Satisfiability Problems","volume-title":"IEEE Symp. VLSI Circuits","author":"Tinish","year":"2025"},{"key":"ref11","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 \\mu ~\\mathrm{s}$ Solution Time","author":"Evangelos","year":"2025","journal-title":"ISSCC"},{"key":"ref12","article-title":"A Reconfigurable Ising Machine for Boolean Satisfiability Problems Featuring Many-Body Spin Interactions","volume-title":"IEEE CICC","author":"Yuqi","year":"2023"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31612-8_31"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref16","first-page":"399","article-title":"Predicting Learnt Clauses Quality in Modern SAT Solvers","volume-title":"International Joint Conf. on Artificial Intelligence","author":"Audemard","year":"2009"},{"key":"ref17","first-page":"486","article-title":"VIP-Sat: A Boolean Satisfiability Solver Featuring $5 \\times 12$ Variable In-Memory Processing Elements with 98% Solvability for 50-Variables 218Clauses 3-SAT Problems","author":"Chaeyun","year":"2024","journal-title":"ISSCC"}],"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\/11409109.pdf?arnumber=11409109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T20:31:10Z","timestamp":1773347470000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11409109\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,15]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isscc49663.2026.11409109","relation":{},"subject":[],"published":{"date-parts":[[2026,2,15]]}}}