Fetching the paper…
Reading the bibliography…
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 research on automatic methods that aid users in running quantum circuits on them.
Algorithms for quantum computation: discrete logarithms and factoring
P. W. Shor · 1994
Earlier work this paper cites.
A fast quantum mechanical algorithm for database search
L. K. Grover · 1996
Earlier work this paper cites.
Quantum Computation and Quantum Information
M. Nielsen and I. Chuang · 2000
Earlier work this paper cites.
SWORD: A SAT like prover using word level information
R. Wille, G. Fey, D. Große, S. Eggersglüß, and R. Drechsler · 2007
Earlier work this paper cites.
Z3: An efficient SMT solver
L. De Moura and N. Bjørner · 2008
Earlier work this paper cites.
RevLib: an online resource for reversible functions and reversible circuits
R. Wille, D. Große, L. Teuber, G. W. Dueck, and R. Drechsler · 2008
Earlier work this paper cites.
Elementary quantum gate realizations for multiple-control Toffolli gates
D. M. Miller, R. Wille, and Z. Sasanian · 2011
Earlier work this paper cites.
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits
M. Amy, D. Maslov, M. Mosca, and M. Roetteler · 2013
Earlier work this paper cites.
Exact reordering of circuit lines for nearest neighbor quantum architectures
R. Wille, A. Lye, and R. Drechsler · 2014
Cited alongside, same era.
Google aims for quantum computing supremacy
R. Courtland · 2017
Cited alongside, same era.
Open quantum assembly language
A. W. Cross, L. S. Bishop, J. A. Smolin, and J. M. Gambetta · 2017
Cited alongside, same era.
On the complexity of quantum circuit compilation
A. Botea, A. Kishimoto, and R. Marinescu · 2018
Cited alongside, same era.
Quantum computing: Both here and not here
L. Gomes · 2018
Cited alongside, same era.
CES 2018: Intel’s 49-qubit chip shoots for quantum supremacy
J. Hsu · 2018
Cited alongside, same era.
Qiskit Developer Challenge
IBM Q team · 2018
Later among the works it cites.
Qiskit Python SDK
IBM Q team · 2018
Later among the works it cites.
Tackling the qubit mapping problem for NISQ-era quantum devices
G. Li, Y. Ding, and Y. Xie · 2018
Later among the works it cites.
Quantum computing in the NISQ era and beyond
J. Preskill · 2018
Later among the works it cites.
Qubit allocation
M. Siraichi, V. F. Dos Santos, S. Collange, and F. M. Q. Pereira · 2018
Later among the works it cites.
An efficient methodology for mapping quantum circuits to the IBM QX architectures
A. Zulehner, A. Paler, and R. Wille · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
IBM Q 5 Tenerife backend specification v1.3.0
IBM Q team · 2018
Cited alongside, same era.
Compiling SU(4) quantum circuits to IBM QX architectures
A. Zulehner and R. Wille · 2019
Closest in time.