RevKit

swMATH10646MaRDI QIDQ22605FDOQ22605

Author name not available (Why is that?)

Official website: http://www.revkit.org/

Cited In (19)

• 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
• cQASM
• Generating reversible circuits from higher-order functional programs
• RevLib
• QMDD
• QCL
• Application of Functional Decomposition in Synthesis of Reversible Circuits
• libquantum
• SyReC
• DAOmap
• Quantum circuits for floating-point arithmetic
• Quantum circuit optimization by Hadamard gate reduction
• Qsim
• Ancilla-free synthesis of large reversible functions using binary decision diagrams
• LIGHTER-R
• 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