Publications

QMAP is academic software. Thus, many of its built-in algorithms have been published as scientific papers. See [1] for a general overview of QMAP and its features.

If you use QMAP in your work, we would appreciate if you cited [5] when using the heuristic mapper, [3] when using the exact mapper, and [7], [8] when using the Clifford circuit synthesis approach. Furthermore, if you use any of the particular algorithms such as

  • the heuristic mapping scheme using teleportation [6]

  • the search space limitation techniques of the exact mapper (some of which are enabled per default) [4]

  • the method for finding (near-)optimal subarchitectures [9]

please consider citing their respective papers as well. A full list of related papers is given below.

[1]

Robert Wille and Lukas Burgholzer. Qmap: a quantum circuit mapping tool. In International Symp. on Physical Design. 2023. [PDF].

[2]

A. Botea, A. Kishimoto, and Radu Marinescu. On the complexity of quantum circuit compilation. In Int'l Symp. on Combinatorial Search. 2018.

[3]

Robert Wille, Lukas Burgholzer, and Alwin Zulehner. Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations. In Design Automation Conference. June 2019. [PDF].

[4]

Lukas Burgholzer, Sarah Schneider, and Robert Wille. Limiting the search space in optimal quantum circuit mapping. In Asia and South Pacific Design Automation Conference. January 2022. [PDF].

[5]

Alwin Zulehner, Alexandru Paler, and Robert Wille. An efficient methodology for mapping quantum circuits to the IBM QX architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 38(7):1226–1236, 2019. [PDF].

[6]

Stefan Hillmich, Alwin Zulehner, and Robert Wille. Exploiting quantum teleportation in quantum circuit mapping. In Asia and South Pacific Design Automation Conference, 792–797. 2021. [PDF].

[7]

Sarah Schneider, Lukas Burgholzer, and Robert Wille. A SAT encoding for optimal clifford circuit synthesis. In Asia and South Pacific Design Automation Conference. 2023. [PDF].

[8]

Tom Peham, Lukas Burgholzer, and Robert Wille. Depth-optimal synthesis of clifford circuits with sat solvers. In arXiv:2305.01674. 2023. [PDF].

[9]

Tom Peham, Lukas Burgholzer, and Robert Wille. On optimal subarchitectures for quantum circuit mapping. ACM Transactions on Quantum Computing, 2023. [PDF], doi:10.1145/3593594.