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

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

Browse the full TACAS paper archive.