Work

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting

Year: 2026

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-22749-2_21

Authors: Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei

Institutions: Quanta Computer (Taiwan), Commissariat à l'Énergie Atomique et aux Énergies Alternatives, CEA Paris-Saclay - Etablissement de Saclay, Institute of Information Science, Academia Sinica, Academia Sinica, Foxconn (Taiwan), Leiden University

Language: English

Topic: Quantum Computing Algorithms and Architecture

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Agence Nationale de la Recherche, Academia Sinica, National Science and Technology Council

Awards: G3766229882, G7697074810, G8139027415

OpenAlex ID: W7154492137

FWCI: 17.09

Cites: 31

Cited by: 2

Related to: 10