Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures | IEEE Conference Publication | IEEE Xplore