Laboratoire d'Intégration des Systèmes et des Technologies

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

2 citations

researchers with a paper here

Christophe Chareton2 · h 7
A. Andoche1 · h 3
Abigail Gillespie1 · h 2
A. Hall1 · h 3
A. Laarman1 · h 3
A. Lennarz1 · h 19
Alex Gomez-Villa1 · h 10
A. Marino1 · h 3
A. Samanta1 · h 6
Aymen Bouguerra1 · h 2
Bertrand Luvison1 · h 1
B. Waters1 · h 2

collaborating institutions

Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR6 papers
Centre National de la Recherche ScientifiqueFR4 papers
Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR2 papers
Université Paris-SaclayFR2 papers
CEA GrenobleFR1 paper
Centre Inria de l'Université de LorraineFR1 paper
Colorado School of MinesUS1 paper
Computer Vision Center1 paper
Foxconn (Taiwan)TW1 paper
Institut de Physique et Chimie des Matériaux de StrasbourgFR1 paper
Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
Institute of Information Science, Academia SinicaTW1 paper

Showing cs.SCShow all

1 paper · 1 filter

cs.SC2026★ 2 cited

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

Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen +4

Equivalence checking of quantum circuits is a central verification task in quantum computing, ensuring the correctness of circuit optimizations, hardware mappings, and compilation…