REVS: a tool for space-optimized reversible circuit synthesis

DOI10.1007/978-3-319-59936-6_7zbMath1487.68108OpenAlexW2619038324MaRDI QIDQ1705584

Krysta M. Svore, Martin Roetteler, Alex Parent

Publication date: 16 March 2018

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

Mathematics Subject Classification ID

Quantum computation (81P68) Quantum algorithms and complexity in the theory of computing (68Q12) Networks and circuits as models of computation; circuit complexity (68Q06) Quantum gates (81P65)

Related Items (7)

Improved reversible and quantum circuits for Karatsuba-based integer multiplication. ⋮ Generating Reversible Circuits from Higher-Order Functional Programs ⋮ Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3 ⋮ Unnamed Item ⋮ An automated deductive verification framework for circuit-building quantum programs ⋮ A framework for quantum-classical cryptographic translation ⋮ REVS

Uses Software

• Quipper
• RevLib
• QCViewer
• ScaffCC
• RMDDS
• SyReC

This page was built for publication: REVS: a tool for space-optimized reversible circuit synthesis