{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T08:07:01Z","timestamp":1771574821694,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:00:00Z","timestamp":1760227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:00:00Z","timestamp":1760227200000},"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":[[2025,10,12]]},"DOI":"10.1109\/apccas67402.2025.11377204","type":"proceedings-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T20:54:40Z","timestamp":1771534480000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Experimental Analysis of Quantum Annealing for Satisfiability Problems"],"prefix":"10.1109","author":[{"given":"Remma","family":"Ukaku","sequence":"first","affiliation":[{"name":"College of Science and Engineering, Ritsumeikan University,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomohisa","family":"Kawakami","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, Duke University,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroyuki","family":"Tomiyama","sequence":"additional","affiliation":[{"name":"College of Science and Engineering, Ritsumeikan University,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4981999"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"ref4","article-title":"Minisat 2.2 and minisat++ 1.1","volume":"2010","author":"S\u00f6rensson","year":"2010","journal-title":"A short description in SAT Race"},{"key":"ref5","first-page":"7","article-title":"Glucose: a solver that predicts learnt clauses quality","author":"Audemard","year":"2009","journal-title":"SAT Competition"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3233\/sat190070"},{"issue":"1","key":"ref7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0020-0190(92)90029-U","article-title":"On the greedy algorithm for satisfiability","volume":"43","author":"Koutsoupias","year":"1992","journal-title":"Information Processing Letters"},{"key":"ref8","author":"Choi","year":"2010","journal-title":"Adiabatic quantum algorithms for the np-complete maximumweight independent set, exact cover and 3 sat problems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_33"},{"key":"ref10","volume-title":"Fixstars Amplify","author":"Corporation","year":"2020"},{"key":"ref11","first-page":"8","article-title":"CaDiCaL, Gimsatul, IsaSAT and Kissat entering the SAT Competition 2024","volume-title":"Proc. of SAT Competition 2024 - Solver, Benchmark and Proof Checker Descriptions","volume":"B-2024-1","author":"Biere","year":"2024"}],"event":{"name":"2025 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","location":"Busan, Korea, Republic of","start":{"date-parts":[[2025,10,12]]},"end":{"date-parts":[[2025,10,15]]}},"container-title":["2025 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11373921\/11376610\/11377204.pdf?arnumber=11377204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:16:05Z","timestamp":1771571765000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11377204\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/apccas67402.2025.11377204","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]}}}