{"id":"https://openalex.org/W7154492137","doi":"https://doi.org/10.1007/978-3-032-22749-2_21","title":"Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting","display_name":"Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7154492137","doi":"https://doi.org/10.1007/978-3-032-22749-2_21"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-22749-2_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-22749-2_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2604.24504","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101535768","display_name":"Wei\u2010Jia Huang","orcid":"https://orcid.org/0000-0002-8695-5689"},"institutions":[{"id":"https://openalex.org/I4210126485","display_name":"Quanta Computer (Taiwan)","ror":"https://ror.org/03d4fzd85","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210126485"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Wei-Jia Huang","raw_affiliation_strings":["Quanta Computer Inc., Taoyuan, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Quanta Computer Inc., Taoyuan, Taiwan","institution_ids":["https://openalex.org/I4210126485"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020490587","display_name":"Christophe Chareton","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I4210085861","display_name":"Laboratoire d'Int\u00e9gration des Syst\u00e8mes et des Technologies","ror":"https://ror.org/000dbcc61","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210085861","https://openalex.org/I4210117989"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Chareton","raw_affiliation_strings":["CEA List, Paris-Saclay, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEA List, Paris-Saclay, France","institution_ids":["https://openalex.org/I4210085861","https://openalex.org/I2738703131"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133679122","display_name":"Yu-Fang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yu-Fang Chen","raw_affiliation_strings":["Institute of Information Science, Academia Sinica, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Science, Academia Sinica, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100679596","display_name":"Kai-Min Chung","orcid":"https://orcid.org/0000-0002-3356-369X"},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kai-Min Chung","raw_affiliation_strings":["Institute of Information Science, Academia Sinica, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Science, Academia Sinica, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210098366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133668194","display_name":"Min-Hsiu Hsieh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210108919","display_name":"Foxconn (Taiwan)","ror":"https://ror.org/01v3aym70","country_code":"TW","type":"company","lineage":["https://openalex.org/I4210108919"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Min-Hsiu Hsieh","raw_affiliation_strings":["Foxconn Research, Taipei, Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Foxconn Research, Taipei, Taiwan","institution_ids":["https://openalex.org/I4210108919"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133695827","display_name":"Alfons Laarman","orcid":null},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Alfons Laarman","raw_affiliation_strings":["LIACS, Leiden University, Leiden, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIACS, Leiden University, Leiden, The Netherlands","institution_ids":["https://openalex.org/I121797337"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071969266","display_name":"Jingyi Mei","orcid":"https://orcid.org/0000-0002-4665-9818"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jingyi Mei","raw_affiliation_strings":["LIACS, Leiden University, Leiden, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIACS, Leiden University, Leiden, The Netherlands","institution_ids":["https://openalex.org/I121797337"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5071969266"],"corresponding_institution_ids":["https://openalex.org/I121797337"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.87048491,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"419","last_page":"439"},"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.7721999883651733,"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.7721999883651733,"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/T10142","display_name":"Formal Methods in Verification","score":0.14650000631809235,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.009499999694526196,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7828999757766724},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6173999905586243},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.6032999753952026},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4993000030517578},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4189000129699707},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.4156999886035919},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4099999964237213},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4090999960899353},{"id":"https://openalex.org/keywords/canonical-form","display_name":"Canonical form","score":0.4068000018596649}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7828999757766724},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7753000259399414},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6173999905586243},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.6032999753952026},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5115000009536743},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4993000030517578},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4458000063896179},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4189000129699707},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.4156999886035919},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4099999964237213},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4090999960899353},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.4068000018596649},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.39660000801086426},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.3935000002384186},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.38350000977516174},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.3693000078201294},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.3610000014305115},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.35690000653266907},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.34139999747276306},{"id":"https://openalex.org/C94461902","wikidata":"https://www.wikidata.org/wiki/Q2762418","display_name":"Formal proof","level":3,"score":0.33809998631477356},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3021000027656555},{"id":"https://openalex.org/C35898486","wikidata":"https://www.wikidata.org/wiki/Q498186","display_name":"Exclusive or","level":3,"score":0.2818000018596649},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.28139999508857727},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.27889999747276306},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2750000059604645},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.26910001039505005},{"id":"https://openalex.org/C2776985865","wikidata":"https://www.wikidata.org/wiki/Q26820931","display_name":"Reducer","level":2,"score":0.26460000872612}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-032-22749-2_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-22749-2_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:2604.24504","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2604.24504","pdf_url":"https://arxiv.org/pdf/2604.24504","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2604.24504","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2604.24504","pdf_url":"https://arxiv.org/pdf/2604.24504","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7829414010047913,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G3766229882","display_name":null,"funder_award_id":"NSTC 114-2221-E-027-044 -MY2","funder_id":"https://openalex.org/F4320331164","funder_display_name":"National Science and Technology Council"},{"id":"https://openalex.org/G7697074810","display_name":null,"funder_award_id":"NSTC 114-2119-M-001-002","funder_id":"https://openalex.org/F4320331164","funder_display_name":"National Science and Technology Council"},{"id":"https://openalex.org/G8139027415","display_name":null,"funder_award_id":"AS-IV-114-M07","funder_id":"https://openalex.org/F4320321041","funder_display_name":"Academia Sinica"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321041","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784"},{"id":"https://openalex.org/F4320331164","display_name":"National Science and Technology Council","ror":"https://ror.org/00wnb9798"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1617295181","https://openalex.org/W1717074168","https://openalex.org/W1973585392","https://openalex.org/W2096331363","https://openalex.org/W2417863416","https://openalex.org/W2598985404","https://openalex.org/W2938353722","https://openalex.org/W2964268018","https://openalex.org/W2982169647","https://openalex.org/W3016880330","https://openalex.org/W3083463047","https://openalex.org/W3136504866","https://openalex.org/W3141495992","https://openalex.org/W4293261702","https://openalex.org/W4312933521","https://openalex.org/W4318685245","https://openalex.org/W4323026405","https://openalex.org/W4379536095","https://openalex.org/W4384471393","https://openalex.org/W4384471464","https://openalex.org/W4384934446","https://openalex.org/W4386093908","https://openalex.org/W4386363537","https://openalex.org/W4389158929","https://openalex.org/W4392588892","https://openalex.org/W4400210518","https://openalex.org/W4404346748","https://openalex.org/W4404582758","https://openalex.org/W4406222168","https://openalex.org/W4409967207","https://openalex.org/W4410841348"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-05-01T08:36:08.643496","created_date":"2026-04-16T00:00:00"}