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