Symbolic Execution of Hadamard-Toffoli Quantum Circuits.

Jacques Carette, Gerardo Ortiz, Amr Sabry

Browse the full PEPM paper archive.