REVS: a tool for space-optimized reversible circuit synthesis
From MaRDI portal
Publication:1705584
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
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
This page was built for publication: REVS: a tool for space-optimized reversible circuit synthesis
