Checking equivalence of quantum circuits and states.

George F. Viamontes, Igor L. Markov, John P. Hayes

Browse the full ICCAD paper archive.