QMDD
From MaRDI portal
Software:24834
swMATH12911MaRDI QIDQ24834FDOQ24834
Author name not available (Why is that?)
Cited In (8)
- Templates for Positive and Negative Control Toffoli Networks
- Improved quantum circuit modelling based on Heisenberg representation
- Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
- Binary superposed quantum decision diagrams
- Improved BDD Algorithms for the Simulation of Quantum Circuits
- Using πDDs in the Design of Reversible Circuits
- Ancilla-free synthesis of large reversible functions using binary decision diagrams
- Reordering decision diagrams for quantum computing is harder than you might think
This page was built for software: QMDD
