Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.

Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler

Browse the full RC paper archive.