{"id":"https://openalex.org/W4360831961","doi":"https://doi.org/10.1109/hpca56546.2023.10071022","title":"HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL","display_name":"HyQSAT: A Hybrid Approach for 3-SAT Problems by Integrating Quantum Annealer with CDCL","publication_year":2023,"publication_date":"2023-02-01","ids":{"openalex":"https://openalex.org/W4360831961","doi":"https://doi.org/10.1109/hpca56546.2023.10071022"},"language":"en","primary_location":{"id":"doi:10.1109/hpca56546.2023.10071022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca56546.2023.10071022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078394037","display_name":"Siwei Tan","orcid":"https://orcid.org/0000-0002-0634-8089"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Siwei Tan","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024397928","display_name":"Mingqian Yu","orcid":"https://orcid.org/0000-0002-0684-0620"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingqian Yu","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045331325","display_name":"Andr\u00e9 Python","orcid":"https://orcid.org/0000-0001-8094-7226"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Andre Python","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010234425","display_name":"Yongheng Shang","orcid":"https://orcid.org/0000-0001-8550-6710"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongheng Shang","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100416489","display_name":"Tingting Li","orcid":"https://orcid.org/0000-0002-9448-1655"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tingting Li","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084548974","display_name":"Liqiang Lu","orcid":"https://orcid.org/0000-0002-1531-0998"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liqiang Lu","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069353502","display_name":"Jianwei Yin","orcid":"https://orcid.org/0000-0003-4703-7348"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianwei Yin","raw_affiliation_strings":["Zhejiang University,P.R. China","Zhejiang University, P.R. China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,P.R. China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, P.R. China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5078394037"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":2.089,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.89262355,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"731","last_page":"744"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9825999736785889,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.772025465965271},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.632331132888794},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.6211989521980286},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5869143605232239},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5768020153045654},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.5419396758079529},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5198065042495728},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.4867558479309082},{"id":"https://openalex.org/keywords/quantum-annealing","display_name":"Quantum annealing","score":0.468182235956192},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4270179867744446},{"id":"https://openalex.org/keywords/hardware-acceleration","display_name":"Hardware acceleration","score":0.42024847865104675},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36945927143096924},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.34220802783966064},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.30324578285217285},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.12113732099533081},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11411240696907043},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.10659825801849365}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.772025465965271},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.632331132888794},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6211989521980286},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5869143605232239},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5768020153045654},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.5419396758079529},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5198065042495728},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.4867558479309082},{"id":"https://openalex.org/C90408235","wikidata":"https://www.wikidata.org/wiki/Q938141","display_name":"Quantum annealing","level":4,"score":0.468182235956192},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4270179867744446},{"id":"https://openalex.org/C13164978","wikidata":"https://www.wikidata.org/wiki/Q600158","display_name":"Hardware acceleration","level":3,"score":0.42024847865104675},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36945927143096924},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.34220802783966064},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.30324578285217285},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.12113732099533081},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11411240696907043},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.10659825801849365},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hpca56546.2023.10071022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca56546.2023.10071022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE International Symposium on High-Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320337504","display_name":"Research and Development","ror":"https://ror.org/027s68j25"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":89,"referenced_works":["https://openalex.org/W125146394","https://openalex.org/W1487965496","https://openalex.org/W1493348997","https://openalex.org/W1499143214","https://openalex.org/W1553502100","https://openalex.org/W1594948273","https://openalex.org/W1605798759","https://openalex.org/W1631535324","https://openalex.org/W1655990431","https://openalex.org/W1836511371","https://openalex.org/W1874981471","https://openalex.org/W1904238065","https://openalex.org/W1912528535","https://openalex.org/W1965719193","https://openalex.org/W1978866421","https://openalex.org/W1979411114","https://openalex.org/W1989818994","https://openalex.org/W1990115083","https://openalex.org/W2001481693","https://openalex.org/W2005079828","https://openalex.org/W2037461268","https://openalex.org/W2057361103","https://openalex.org/W2066297895","https://openalex.org/W2079660278","https://openalex.org/W2084652510","https://openalex.org/W2089989221","https://openalex.org/W2105223366","https://openalex.org/W2138626542","https://openalex.org/W2142785340","https://openalex.org/W2160185408","https://openalex.org/W2161685427","https://openalex.org/W2201698373","https://openalex.org/W2257937122","https://openalex.org/W2338360705","https://openalex.org/W2624949215","https://openalex.org/W2729723649","https://openalex.org/W2741170138","https://openalex.org/W2745105271","https://openalex.org/W2747088929","https://openalex.org/W2767121113","https://openalex.org/W2805358412","https://openalex.org/W2816928669","https://openalex.org/W2900821925","https://openalex.org/W2907782024","https://openalex.org/W2948610381","https://openalex.org/W2951325841","https://openalex.org/W2955435611","https://openalex.org/W2963767010","https://openalex.org/W2964323614","https://openalex.org/W2970049512","https://openalex.org/W2998625062","https://openalex.org/W3000698183","https://openalex.org/W3000806426","https://openalex.org/W3035674189","https://openalex.org/W3035746743","https://openalex.org/W3043784418","https://openalex.org/W3099476054","https://openalex.org/W3101448925","https://openalex.org/W3104553508","https://openalex.org/W3106253768","https://openalex.org/W3107043236","https://openalex.org/W3109952702","https://openalex.org/W3110697055","https://openalex.org/W3124250684","https://openalex.org/W3126185111","https://openalex.org/W3138233144","https://openalex.org/W3153758851","https://openalex.org/W3154524778","https://openalex.org/W3183139685","https://openalex.org/W3184444919","https://openalex.org/W3185325238","https://openalex.org/W3186461170","https://openalex.org/W3192917400","https://openalex.org/W3197898955","https://openalex.org/W3199869602","https://openalex.org/W3206420287","https://openalex.org/W3217270472","https://openalex.org/W4213055526","https://openalex.org/W4213368513","https://openalex.org/W4245124044","https://openalex.org/W4280557388","https://openalex.org/W4280646646","https://openalex.org/W4281683096","https://openalex.org/W4299498244","https://openalex.org/W6605053054","https://openalex.org/W6629443124","https://openalex.org/W6636444960","https://openalex.org/W6742716122","https://openalex.org/W6785952146"],"related_works":["https://openalex.org/W2810890742","https://openalex.org/W2963896212","https://openalex.org/W3105773508","https://openalex.org/W2586072851","https://openalex.org/W2914676938","https://openalex.org/W2952876890","https://openalex.org/W4288593498","https://openalex.org/W2400468894","https://openalex.org/W3098109290","https://openalex.org/W2532502681"],"abstract_inverted_index":{"Propositional":[0],"satisfiability":[1],"problem":[2,22],"(SAT)":[3],"is":[4,15,42],"represented":[5],"in":[6,28,150],"a":[7,25,43,90],"conjunctive":[8],"normal":[9],"form":[10],"with":[11,96],"multiple":[12],"clauses,":[13],"which":[14],"an":[16],"important":[17],"non-deterministic":[18],"polynomial-time":[19],"(NP)":[20],"complete":[21],"that":[23,93,195,203],"plays":[24],"major":[26],"role":[27],"various":[29],"applications":[30],"including":[31],"artificial":[32],"intelligence,":[33],"graph":[34],"colouring,":[35],"and":[36,82,128,183,231],"circuit":[37],"analysis.":[38],"Quantum":[39],"annealing":[40],"(QA)":[41],"promising":[44],"methodology":[45],"for":[46,108],"solving":[47,109],"complex":[48],"SAT":[49,60,110,201],"problems":[50,202],"by":[51],"exploiting":[52],"the":[53,59,65,68,97,123,140,145,158,163,175,189,206,223,234,244],"parallelism":[54],"of":[55,113,126,147,208],"quantum":[56],"entanglement,":[57],"where":[58],"variables":[61],"are":[62,204],"embedded":[63],"to":[64,78,104,117,132,143,152,161,173,187,214,222,240,243],"qubits.":[66],"However,":[67],"long":[69],"embedding":[70,114,135,151,159,236],"time":[71,237],"fundamentally":[72],"limits":[73],"existing":[74,209],"QA-based":[75],"methods,":[76],"leading":[77],"inefficient":[79],"hardware":[80,141],"implementation":[81],"poor":[83],"scalability.In":[84],"this":[85,185],"paper,":[86],"we":[87,120,156,170],"propose":[88],"HyQSAT,":[89],"hybrid":[91],"approach":[92],"integrates":[94],"QA":[95,118,153,180,210,235],"classical":[98],"Conflict-Driven":[99],"Clause":[100],"Learning":[101],"(CDCL)":[102],"algorithm":[103,226,247],"enable":[105],"end-to-end":[106,216],"acceleration":[107],"problems.":[111],"Instead":[112],"all":[115],"clauses":[116,127],"hardware,":[119],"quantitatively":[121],"estimate":[122],"conflict":[124],"frequency":[125],"apply":[129],"breadth-first":[130],"traversal":[131],"choose":[133],"their":[134],"order.":[136],"We":[137],"also":[138],"consider":[139],"topology":[142],"maximize":[144],"utilization":[146],"physical":[148],"qubits":[149],"hardware.":[154],"Besides,":[155],"adjust":[157],"coefficients":[160],"improve":[162],"computation":[164],"accuracy":[165],"under":[166],"qubit":[167],"noise.":[168],"Finally,":[169],"present":[171],"how":[172],"interpret":[174],"satisfaction":[176],"probability":[177],"based":[178],"on":[179,227],"energy":[181],"distribution":[182],"use":[184],"information":[186],"guide":[188],"CDCL":[190,225],"search.":[191],"Our":[192],"experiments":[193],"demonstrate":[194],"HyQSAT":[196],"can":[197],"effectively":[198],"support":[199],"larger-scale":[200],"beyond":[205],"capability":[207],"approaches,":[211],"achieve":[212],"up":[213],"12.62X":[215],"speedup":[217],"using":[218],"D-Wave":[219,245],"2000Q":[220],"compared":[221,242],"classic":[224],"Intel":[228],"E5":[229],"CPU,":[230],"considerably":[232],"reduce":[233],"from":[238],"17.2s":[239],"15.7\u00b5s":[241],"Minorminer":[246],"[11].":[248]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":3}],"updated_date":"2026-03-28T08:17:26.163206","created_date":"2025-10-10T00:00:00"}