Exact Physical Design of Quantum Circuits for Ion-Trap-based Quantum Architectures | IEEE Conference Publication | IEEE Xplore