Methodology for mapping quantum and reversible circuits to IBM Q architectures - Almeida, Alexandre Araujo Amaral de (2019)