swMATH10646MaRDI QIDQ22605FDOQ22605
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: http://www.revkit.org/
(19)
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Considering nearest neighbor constraints of quantum circuits at the reversible circuit level
- cQASM
- A fast symbolic transformation based algorithm for reversible logic synthesis
- RevLib
- QMDD
- QCL
- Generating reversible circuits from higher-order functional programs
- libquantum
- SyReC
- DAOmap
- Exploiting negative control lines in the optimization of reversible circuits
- Qsim
- Quantum circuits for floating-point arithmetic
- LIGHTER-R
- Technology mapping for single target gate based circuits using Boolean functional decomposition
- Application of Functional Decomposition in Synthesis of Reversible Circuits
- Linear nearest neighbor optimization in quantum circuits: a multiobjective perspective
- Quantum circuit optimization by Hadamard gate reduction
This page was built for software: RevKit
