An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures | IEEE Journals & Magazine | IEEE Xplore