QuIDDPro
From MaRDI portal
Software:32871
swMATH21058MaRDI QIDQ32871FDOQ32871
Author name not available (Why is that?)
Cited In (6)
- Property checking of quantum circuits using quantum multiple-valued decision diagrams
- Improved quantum circuit modelling based on Heisenberg representation
- Quantum Circuit Simulation
- Using \(\pi\)DDs in the design of reversible circuits
- An FPGA-based quantum circuit emulation framework using heisenberg representation
- Reordering decision diagrams for quantum computing is harder than you might think
This page was built for software: QuIDDPro
