{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T22:07:18Z","timestamp":1775081238075,"version":"3.50.1"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1109\/dac63849.2025.11133416","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:41Z","timestamp":1757957741000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Chameleon-SAT: An Adaptive Boolean Satisfiability Accelerator Using Mixed-Signal In-Memory Computing for Versatile SAT Problems"],"prefix":"10.1109","author":[{"given":"Iris Ying","family":"Chou","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":"Yi","family":"Huang","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":"Wenping","family":"Zhu","sequence":"additional","affiliation":[{"name":"Tsinghua University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaojun","family":"Wei","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.1145\/800157.805047"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/69.334864"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203759"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i02.5500"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2610963"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-58603-929-5-185"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32275-7_3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/98"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968634"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1090\/dimacs\/026\/25"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2024.3352585"},{"issue":"1","key":"ref13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218213018400018","article-title":"On the glucose SAT solver","volume":"27","author":"Audemard","year":"2018","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-023-00421-2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-023-00432-z"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296450"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA51647.2021.00068"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC42615.2023.10067380"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/isscc49657.2024.10454397"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/40.592312"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1998.694774"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/514191.514197"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/54.748803"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2019.2943047"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/VLSITechnologyandCir46769.2022.9830322"},{"key":"ref28","first-page":"29","article-title":"HW-BCP: A custom hardware accelerator for SAT suitable for single chip implementation for large benchmarks","volume-title":"Proc. Asia South Pac. Des. Autom. Conf. (ASP-DAC)","author":"Park"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-023-49966-6"}],"event":{"name":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2025,6,22]]},"end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 62nd ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11132383\/11132091\/11133416.pdf?arnumber=11133416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T20:06:08Z","timestamp":1775073968000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11133416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/dac63849.2025.11133416","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}