{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T13:12:27Z","timestamp":1774703547109,"version":"3.50.1"},"reference-count":81,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"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"}]},{"DOI":"10.13039\/100006190","name":"Research and Development","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006190","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1109\/hpca56546.2023.10071022","type":"proceedings-article","created":{"date-parts":[[2023,3,24]],"date-time":"2023-03-24T17:42:55Z","timestamp":1679679775000},"page":"731-744","source":"Crossref","is-referenced-by-count":12,"title":["HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL"],"prefix":"10.1109","author":[{"given":"Siwei","family":"Tan","sequence":"first","affiliation":[{"name":"Zhejiang University,P.R. China"}]},{"given":"Mingqian","family":"Yu","sequence":"additional","affiliation":[{"name":"Zhejiang University,P.R. China"}]},{"given":"Andre","family":"Python","sequence":"additional","affiliation":[{"name":"Zhejiang University,P.R. China"}]},{"given":"Yongheng","family":"Shang","sequence":"additional","affiliation":[{"name":"Zhejiang University,P.R. China"}]},{"given":"Tingting","family":"Li","sequence":"additional","affiliation":[{"name":"Zhejiang University,P.R. China"}]},{"given":"Liqiang","family":"Lu","sequence":"additional","affiliation":[{"name":"Zhejiang University,P.R. China"}]},{"given":"Jianwei","family":"Yin","sequence":"additional","affiliation":[{"name":"Zhejiang University,P.R. China"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"The design and analysis of computer algorithms","author":"Aho","year":"1974"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.124.090504"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/14\/12\/123016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.26421\/QIC6.2-1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.92.052323"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-021-95482-w"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.71.066707"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66167-4_9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-015-1150-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevApplied.6.034008"},{"key":"ref11","article-title":"A practical heuristic for finding graph minors","author":"Cai","year":"2014"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80223-3_6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.61.032303"},{"key":"ref14","first-page":"15","article-title":"Kissat mab: Combining vsids and chb through multi-armed bandit","author":"Cherif","year":"2021","journal-title":"SAT COMPETITION 2021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-010-0200-3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i02.5500"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.127.100501"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms11526"},{"key":"ref19","article-title":"An implementation of a simulated annealing sampler","year":"2018"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24749-4_13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00027"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3466752.3480044"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms2920"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/181"},{"key":"ref26","article-title":"Cadical, kissat, paracooba, plingeling and treengeling entering the sat competition 2020","author":"Fleury","year":"2020","journal-title":"SAT COMPETITION 2020"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3079856.3080249"},{"key":"ref28","first-page":"813","article-title":"An experimental microarchitecture for a superconducting quantum processor","volume-title":"Proceedings of the 50th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"Fu"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1021\/ar950140r"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497576"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11527695_26"},{"key":"ref33","article-title":"Satlib: An online resource for research on sat","volume":"2000","author":"Hoos","year":"2000","journal-title":"Sat"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3470496.3527389"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1080\/00107151031000110776"},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0045375","volume-title":"Treewidth: computations and approximations","author":"Kloks","year":"1994"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-013-0683-9"},{"key":"ref38","first-page":"9608","article-title":"Can q-learning with graph networks learn a generalizable branching heuristic for a sat solver?","volume":"33","author":"Kurin","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00070"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66263-3_8"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/98"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms12996"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3233\/faia200987"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/18\/2\/023023"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.4159\/harvard.9780674180758"},{"key":"ref46","article-title":"The d-wave advantage system: An overview","author":"McGeoch","year":"2020","journal-title":"D-Wave Systems Inc., Burnaby, BC, Canada, Tech. Rep"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2019.2908836"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-018-07327-2"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1038\/nature24047"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1140\/epjst\/e2015-02339-y"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00051"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378477"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.99.013304"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-021-20984-0"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-018-38388-4"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_8"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446743"},{"key":"ref59","article-title":"Solving larger optimization problems using parallel quantum annealing","author":"Pelofske","year":"2022"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms5213"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80223-3_32"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms4243"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.91.042302"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00029"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/QCE49297.2020.00044"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1006\/jctb.1995.1006"},{"key":"ref67","article-title":"The sat2002 competition (preliminary draft)","author":"Simon","year":"2002"},{"key":"ref68","article-title":"The cryptominisat 5 set of solvers at sat competition 2016","volume-title":"Proceedings of SAT Competition","author":"Soos"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"ref70","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":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062246"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446758"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.5.031040"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00057"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507761"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.88.062314"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevX.3.041013"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1038\/s41534-022-00596-2"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/164"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20000482"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203759"}],"event":{"name":"2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA)","location":"Montreal, QC, Canada","start":{"date-parts":[[2023,2,25]]},"end":{"date-parts":[[2023,3,1]]}},"container-title":["2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10070856\/10070923\/10071022.pdf?arnumber=10071022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T13:31:27Z","timestamp":1707831087000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10071022\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2]]},"references-count":81,"URL":"https:\/\/doi.org\/10.1109\/hpca56546.2023.10071022","relation":{},"subject":[],"published":{"date-parts":[[2023,2]]}}}