Symbolic Verification of Quantum Circuits
Not on the map. Why?
Abstract (arXiv)
This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the existing techniques and tools for verification of classical logic circuits in reasoning about quantum circuits.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 5 Oct 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 1.
1 paper.