Automatic Synthesis of Quantum Teleportation Circuit | IEEE Conference Publication | IEEE Xplore