Decision Diagrams for Symbolic Verification of Quantum Circuits.
Xin HongWei-Jia HuangWei-Chen ChienYuan FengMin-Hsiu HsiehSanjiang LiChia-Shun YehMingsheng YingPublished in: QCE (2023)
Keyphrases
- decision diagrams
- digital circuits
- binary decision diagrams
- quantum computing
- logic circuits
- model checking
- markov decision processes
- circuit design
- multi valued
- efficient computation
- multiple valued
- data flow
- boolean functions
- machine learning
- compressed data
- finite state machines
- planning problems
- relational databases