{"id":"https://openalex.org/W4385681765","doi":"https://doi.org/10.48550/arxiv.2308.03344","title":"A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation","display_name":"A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4385681765","doi":"https://doi.org/10.48550/arxiv.2308.03344"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2308.03344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"posted-content","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/abs/2308.03344","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072863865","display_name":"Shang\u2010Wei Lin","orcid":"https://orcid.org/0000-0002-9726-3434"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin, Shang-Wei","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001851397","display_name":"Tzu\u2010Fan Wang","orcid":"https://orcid.org/0000-0001-7035-4179"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Tzu-Fan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034725505","display_name":"Yean-Ru Chen","orcid":"https://orcid.org/0000-0003-4841-4838"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Yean-Ru","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055734272","display_name":"Zh\u00e9 H\u00f3u","orcid":"https://orcid.org/0000-0001-7164-0580"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hou, Zhe","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067813217","display_name":"David San\u00e1n","orcid":"https://orcid.org/0000-0003-2755-3089"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"San\u00e1n, David","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5021034996","display_name":"Yon Shin Teo","orcid":"https://orcid.org/0009-0006-5081-6712"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Teo, Yon Shin","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":65},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9982,"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.9982,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9762,"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/T10232","display_name":"Optical Network Technologies","score":0.957,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.49402243},{"id":"https://openalex.org/keywords/quantum-teleportation","display_name":"Quantum teleportation","score":0.48461065}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.64272946},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5517183},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.5331876},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.50296324},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.49402243},{"id":"https://openalex.org/C91717678","wikidata":"https://www.wikidata.org/wiki/Q1135332","display_name":"Quantum teleportation","level":5,"score":0.48461065},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.4688937},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4601882},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42152557},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.39500654},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33827305},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.3048036},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.21358246},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10230553}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2308.03344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.2308.03344","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2308.03344","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4388704119","https://openalex.org/W4213379151","https://openalex.org/W3206120658","https://openalex.org/W3120198719","https://openalex.org/W2910123824","https://openalex.org/W2523297496","https://openalex.org/W2468290120","https://openalex.org/W2409877639","https://openalex.org/W2009182615","https://openalex.org/W1979698518"],"abstract_inverted_index":{"Boolean":[0],"satisfiability":[1],"(SAT)":[2],"solving":[3,16,162],"is":[4,163],"a":[5,86,128,152],"fundamental":[6],"problem":[7],"in":[8,20,34,57,96,120,181],"computer":[9,24],"science.":[10],"Finding":[11],"efficient":[12],"algorithms":[13],"for":[14],"SAT":[15,29,44,89,135,161],"has":[17],"broad":[18],"implications":[19],"many":[21],"areas":[22],"of":[23,74,117,122,131,154,175],"science":[25],"and":[26,149,158,178],"beyond.":[27],"Quantum":[28],"solvers":[30,45],"have":[31,171],"been":[32],"proposed":[33,133],"the":[35,58,65,72,93,115,132,143,159,168,173],"literature":[36],"based":[37,137],"on":[38,138],"Grover's":[39],"algorithm.":[40],"Although":[41],"existing":[42],"quantum":[43,88,139,155,160],"can":[46],"consider":[47],"all":[48,167],"possible":[49],"inputs":[50],"at":[51],"once,":[52],"they":[53],"evaluate":[54],"each":[55,97],"clause":[56],"formula":[59],"one":[60,62],"by":[61,107,166],"sequentially,":[63],"making":[64],"time":[66,94,101,105],"complexity":[67,95],"O(m)":[68,102],"--":[69,77],"linear":[70,100],"to":[71,103],"number":[73],"clauses":[75],"m":[76],"per":[78],"Grover":[79],"iteration.":[80],"In":[81],"this":[82],"work,":[83],"we":[84,126],"develop":[85,127],"parallel":[87,134],"solver,":[90],"which":[91],"reduces":[92],"iteration":[98],"from":[99],"constant":[104],"O(1)":[106],"utilising":[108],"extra":[109],"entangled":[110],"qubits.":[111],"To":[112],"further":[113],"improve":[114],"scalability":[116],"our":[118,176],"solution":[119],"case":[121],"extremely":[123],"large":[124],"problems,":[125],"distributed":[129,150],"version":[130],"solver":[136],"teleportation":[140],"such":[141],"that":[142],"total":[144],"qubits":[145],"required":[146],"are":[147],"shared":[148],"among":[151],"set":[153],"computers":[156],"(nodes),":[157],"accomplished":[164],"collaboratively":[165],"nodes.":[169],"We":[170],"proved":[172],"correctness":[174],"approaches":[177],"demonstrated":[179],"them":[180],"simulations.":[182]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4385681765","counts_by_year":[],"updated_date":"2025-04-12T11:33:28.233852","created_date":"2023-08-09"}