QMDD
From MaRDI portal
Cited in
(12)- Improved quantum circuit modelling based on Heisenberg representation
- Reordering decision diagrams for quantum computing is harder than you might think
- RevKit
- Templates for positive and negative control Toffoli networks
- QuIDDPro
- Property checking of quantum circuits using quantum multiple-valued decision diagrams
- Using DDs in the design of reversible circuits
- Improved BDD Algorithms for the Simulation of Quantum Circuits
- QuEST
- QCM
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Binary superposed quantum decision diagrams
This page was built for software: QMDD
