Synthesis and optimization of reversible circuits—a survey

M Saeedi, IL Markov - ACM Computing Surveys (CSUR), 2013 - dl.acm.org
Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

Tackling the qubit mapping problem for NISQ-era quantum devices

G Li, Y Ding, Y Xie - Proceedings of the twenty-fourth international …, 2019 - dl.acm.org
Due to little considerations in the hardware constraints, eg, limited connections between
physical qubits to enable two-qubit gates, most quantum algorithms cannot be directly …

An efficient methodology for mapping quantum circuits to the IBM QX architectures

A Zulehner, A Paler, R Wille - IEEE Transactions on Computer …, 2018 - ieeexplore.ieee.org
In the past years, quantum computers more and more have evolved from an academic idea
to an upcoming reality. IBM's project IBM Q can be seen as evidence of this progress …

Optimal layout synthesis for quantum computing

B Tan, J Cong - Proceedings of the 39th International Conference on …, 2020 - dl.acm.org
Recent years have witnessed the fast development of quantum computing. Researchers
around the world are eager to run larger and larger quantum algorithms that promise …

Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations

R Wille, L Burgholzer, A Zulehner - Proceedings of the 56th Annual …, 2019 - dl.acm.org
The recent progress in the physical realization of quantum computers (the first publicly
available ones---IBM's QX architectures---have been launched in 2017) has motivated …

MQT Bench: Benchmarking software and design automation tools for quantum computing

N Quetschlich, L Burgholzer, R Wille - Quantum, 2023 - quantum-journal.org
Quantum software tools for a wide variety of design tasks on and across different levels of
abstraction are crucial in order to eventually realize useful quantum applications. This …

Qubit allocation

MY Siraichi, VF Santos, C Collange… - Proceedings of the 2018 …, 2018 - dl.acm.org
In May of 2016, IBM Research has made a quantum processor available in the cloud to the
general public. The possibility of programming an actual quantum device has elicited much …

BDD-based synthesis of reversible logic for large functions

R Wille, R Drechsler - Proceedings of the 46th Annual Design …, 2009 - dl.acm.org
Reversible logic is the basis for several emerging technologies such as quantum computing,
optical computing, or DNA computing and has further applications in domains like low …

A hardware-aware heuristic for the qubit mapping problem in the nisq era

S Niu, A Suau, G Staffelbach… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Due to several physical limitations in the realization of quantum hardware, today's quantum
computers are qualified as noisy intermediate-scale quantum (NISQ) hardware. NISQ …

Time-optimal qubit mapping

C Zhang, AB Hayes, L Qiu, Y Jin, Y Chen… - Proceedings of the 26th …, 2021 - dl.acm.org
Rapid progress in the physical implementation of quantum computers gave birth to multiple
recent quantum machines implemented with superconducting technology. In these NISQ …