Equivalence Checking of Quantum Circuits by Model Counting.

Jingyi Mei, Tim Coopmans, Marcello M. Bonsangue, Alfons Laarman

Browse the full IJCAR paper archive.