Tools for quantum and reversible circuit compilation

DOI10.1007/978-3-319-59936-6_1MaRDI QIDQ1705571zbMATH OpenOpenAlexFDO

Authors Martin Roetteler

Publication date 16 March 2018

Full work available at URL https://doi.org/10.1007/978-3-319-59936-6_1

zbMATH Keywords

reversible circuitsquantum circuitsquantum programming languagespebble gamesternary systemsdirty ancillasrepeat-until-success protocols

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of compilers and interpreters (68N20) Other nonclassical models of computation (68Q09) Networks and circuits as models of computation; circuit complexity (68Q06) Quantum gates (81P65)

Recommendations

• REVS: a tool for space-optimized reversible circuit synthesis
• Verified compilation of space-efficient reversible circuits
• Depth-optimized reversible circuit synthesis
• Reversible and Quantum Circuit Optimization: A Functional Approach
• Optimal synthesis of linear reversible circuits

Cited in

(5)

• Uncomputation in the Qrisp high-level quantum programming framework
• Greedy randomized search for scalable compilation of quantum circuits
• REVS: a tool for space-optimized reversible circuit synthesis
• A framework for quantum-classical cryptographic translation
• \textit{Re}\(\mathcal{Q}\)\textsc{wire}: reasoning about reversible quantum circuits

This page was built for publication: Tools for quantum and reversible circuit compilation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1705571)