Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures.

Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha

Browse the full ISCAS paper archive.