Fetching the paper…
Reading the bibliography…
Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups e.g.
Graph-based algorithms for Boolean function manipulation
R. E. Bryant · 1986
Earlier work this paper cites.
Logic verification using binary decision diagrams in a logic synthesis environment
S. Malik, A. Wang, R. Brayton, and A. Sangiovanni-Vincentelli · 1988
Earlier work this paper cites.
A fast quantum mechanical algorithm for database search
L. K. Grover · 1996
Earlier work this paper cites.
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
P. W. Shor · 1997
Earlier work this paper cites.
Quantum Computation and Quantum Information
M. Nielsen and I. Chuang · 2000
Earlier work this paper cites.
Circuit for Shor’s algorithm using 2n+3 qubits
S. Beauregard · 2003
Earlier work this paper cites.
Improving gate-level simulation of quantum circuits
G. F. Viamontes, I. L. Markov, and J. P. Hayes · 2003
Earlier work this paper cites.
Synthesis of fully testable circuits from BDDs
R. Drechsler, J. Shi, and G. Fey · 2004
Earlier work this paper cites.
High-performance quidd-based simulation of quantum circuits
G. F. Viamontes, I. L. Markov, and J. P. Hayes · 2004
Earlier work this paper cites.
Improved BDD algorithms for the simulation of quantum circuits
V. Samoladas · 2008
Earlier work this paper cites.
Quantum Circuit Simulation
G. F. Viamontes, I. L. Markov, and J. P. Hayes · 2009
Earlier work this paper cites.
Equivalence checking of reversible circuits
R. Wille, D. Große, D. M. Miller, and R. Drechsler · 2009
Earlier work this paper cites.
Realization of a programmable two-qubit quantum processor
D. Hanneke, J. Home, J. Jost, J. Amini, D. Leibfried, and D. Wineland · 2010
Cited alongside, same era.
Realization of three-qubit quantum error correction with superconducting circuits
M. Reed, L. DiCarlo, S. Nigg, L. Sun, L. Frunzio, S. Girvin, and R. Schoelkopf · 2012
Cited alongside, same era.
Quipper: a scalable quantum programming language
A. S. Green, P. L. Lumsdaine, N. J. Ross, P. Selinger, and B. Valiron · 2013
Cited alongside, same era.
BDD operations for quantum graph states
H. Hiraishi and H. Imai · 2014
Cited alongside, same era.
Efficient synthesis of quantum circuits implementing Clifford group operations
P. Niemann, R. Wille, and R. Drechsler · 2014
Cited alongside, same era.
Equivalence checking in multi-level quantum systems
P. Niemann, R. Wille, and R. Drechsler · 2014
Logic synthesis for quantum state generation
P. Niemann, R. Datta, and R. Wille · 2016
Later among the works it cites.
QMDDs: Efficient quantum function representation and manipulation
P. Niemann, R. Wille, D. M. Miller, M. A. Thornton, and R. Drechsler · 2016
Later among the works it cites.
qHiPSTER: The quantum high performance software testing environment
M. Smelyanskiy, N. P. D. Sawaya, and A. Aspuru-Guzik · 2016
Later among the works it cites.
Google aims for quantum computing supremacy
R. Courtland · 2017
Closest in time.
QX: A high-performance quantum computer simulation platform
N. Khammassi, I. Ashraf, X. Fu, C. Almudever, and K. Bertels · 2017
Closest in time.
Experimental comparison of two quantum computing architectures
N. M. Linke, D. Maslov, M. Roetteler, S. Debnath, C. Figgatt, K. A. Landsman, K. Wright, and C. Monroe · 2017
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
LIQUi | | >: A software design architecture and domain-specific language for quantum computing
D. Wecker and K. M. Svore · 2014
Cited alongside, same era.
One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic
A. Zulehner and R. Wille · 2015
Cited alongside, same era.
Demonstration of a small programmable quantum computer with atomic qubits
S. Debnath, N. Linke, C. Figgatt, K. Landsman, K. Wright, and C. Monroe · 2016
Cited alongside, same era.
High performance emulation of quantum circuits
T. Häner, D. S. Steiger, M. Smelyanskiy, and M. Troyer · 2016
Cited alongside, same era.
Realization of a scalable Shor algorithm
T. Monz, D. Nigg, E. A. Martinez, M. F. Brandl, P. Schindler, R. Rines, S. X. Wang, I. L. Chuang, and R. Blatt · 2016
Cited alongside, same era.
http://www.mpfr.org
The GNU MPFR library
Cited in the paper.
Closest in time.
Efficient construction of qmdds for irreversible, reversible, and quantum functions
P. Niemann, A. Zulehner, R. Wille, and R. Drechsler · 2017
Closest in time.
Breaking the 49-qubit barrier in the simulation of quantum circuits
E. Pednault, J. A. Gunnels, G. Nannicini, L. Horesh, T. Magerlein, E. Solomonik, and R. Wisnieff · 2017
Closest in time.
Quantum computing: Both here and not here
L. Gomes · 2018
Closest in time.
Improved synthesis of Clifford+T quantum functionality
P. Niemann, R. Wille, and R. Drechsler · 2018
Closest in time.
ProjectQ: an open source software framework for quantum computing
D. S. Steiger, T. Häner, and M. Troyer · 2018
Closest in time.