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