TY  - RPRT
TI  - Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
AU  - Wei-Jia Huang
AU  - Christophe Chareton
AU  - Yu-Fang Chen
AU  - Kai-Min Chung
AU  - Min-Hsiu Hsieh
AU  - Alfons Laarman
AU  - Jingyi Mei
PY  - 2026
DO  - 10.1007/978-3-032-22749-2_21
UR  - https://arxiv.org/abs/2604.24504
ID  - 2604.24504
ER  -