RevKit
From MaRDI portal
Software:22605
swMATH10646MaRDI QIDQ22605FDOQ22605
Author name not available (Why is that?)
Cited In (10)
- Considering nearest neighbor constraints of quantum circuits at the reversible circuit level
- A fast symbolic transformation based algorithm for reversible logic synthesis
- Technology mapping for single target gate based circuits using Boolean functional decomposition
- Generating reversible circuits from higher-order functional programs
- Application of Functional Decomposition in Synthesis of Reversible Circuits
- Quantum circuits for floating-point arithmetic
- Quantum circuit optimization by Hadamard gate reduction
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Exploiting negative control lines in the optimization of reversible circuits
- Linear nearest neighbor optimization in quantum circuits: a multiobjective perspective
This page was built for software: RevKit