Matthew Amy
Parsiad Azimzadeh
Michele Mosca
2018
On the controlled-NOT complexity of controlled-NOTphase circuits
Quantum Science and Technology
4
1
015002
10.1088/2058-9565/aad8ca
Matthew Amy
Dmitri Maslov
Michele Mosca
Martin Roetteler
2013
A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
32
6
818–830
10.1109/TCAD.2013.2244643
Ryan Babbush
Dominic W Berry
Ian D Kivlichan
Annie Y Wei
Peter J Love
Alán Aspuru-Guzik
2016
Exponentially more precise quantum simulation of fermions in second quantization
New Journal of Physics
18
3
033032
10.1088/1367-2630/18/3/033032
Charles H Bennett
1989
Time/space trade-offs for reversible computation
SIAM Journal on Computing
18
4
766–776
10.1137/0218053
Robert Brayton
Alan Mishchenko
2010
ABC: An academic industrial-strength verification tool
International Conference on Computer Aided Verification
Springer
24–40
10.1007/978-3-642-14295-6_5
S Debnath
2016
Demonstration of a small programmable quantum computer with atomic qubits
Nature
10.1038/nature18648
Daniel Große
Robert Wille
Gerhard W Dueck
Rolf Drechsler
2009
Exact multiple-control Toffoli network synthesis with SAT techniques
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
28
5
703–715
10.1109/TCAD.2009.2017215
Lov K Grover
1996
A fast quantum mechanical algorithm for database search
Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
ACM
212–219
10.1145/237814.237866
Esteban A. Martinez
2016
Real-time dynamics of lattice gauge theories with a few-qubit quantum computer
Nature
10.1038/nature18318
Dmitri Maslov
2016
Advantages of using relative-phase Toffoli gates with an application to multiple control Toffoli optimization
Physical Review A
93
2
022311
10.1103/PhysRevA.93.022311
Giulia Meuli
Mathias Soeken
Martin Roetteler
Nikolaj Bjorner
Giovanni De Micheli
2019
Reversible pebbling game for quantum memory management
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019
10.23919/DATE.2019.8715092
Giulia Meuli
Mathias Soeken
Martin Roetteler
Nathan Wiebe
Giovanni De Micheli
2018
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis
Proceedings of the 23rd Asia and South Pacific Design Automation Conference
IEEE Press
664–669
10.1109/ASPDAC.2018.8297398
D Michael Miller
Dmitri Maslov
Gerhard W Dueck
2003
A transformation based algorithm for reversible logic synthesis
Design Automation Conference, 2003. Proceedings
IEEE
318–323
10.1145/775832.775915
Alan Mishchenko
Satrajit Chatterjee
Robert Brayton
2006
DAG-aware AIG rewriting a fresh look at combinational logic synthesis
Proceedings of the 43rd annual Design Automation Conference
ACM
532–535
10.1145/1146909.1147048
Alan Mishchenko
Satrajit Chatterjee
Robert K Brayton
2007
Improvements to technology mapping for LUT-based FPGAs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
26
2
240–253
10.1109/TCAD.2006.887925
Leonardo de Moura
Nikolaj Bjørner
2008
Z3: An Efficient SMT Solver
C. R. Ramakrishnan
Jakob Rehof
Tools and Algorithms for the Construction and Analysis of Systems
Springer Berlin Heidelberg
10.1007/978-3-540-78800-3_24
Peter J. J. O'Malley
2016
Scalable Quantum Simulation of Molecular Energies
PRX
10.1103/PhysRevX.6.031007
Mariusz Rawski
2015
Application of functional decomposition in synthesis of reversible circuits
International Conference on Reversible Computation
Springer
285–290
10.1007/978-3-319-20860-2_20
Norbert Schuch
Jens Siewert
2003
Programmable networks for quantum algorithms
Physical review letters
91
2
027902
10.1103/PhysRevLett.91.027902
P. W. Shor
1994
Algorithms for quantum computation: discrete logarithms and factoring
Proceedings 35th Annual Symposium on Foundations of Computer Science
124–134
10.1109/SFCS.1994.365700
Mathias Soeken
Martin Roetteler
Nathan Wiebe
Giovanni De Micheli
2018
LUT-based Hierarchical Reversible Logic Synthesis
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
10.1109/TCAD.2018.2859251