Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams.

Julia Seiter Mathias Soeken Robert Wille Rolf Drechsler

Published in: RC (2012)

Keyphrases

multiple valued
decision diagrams
multi valued
digital circuits
file organization
boolean functions
markov decision processes
binary decision diagrams
query processing
multi dimensional
heuristic search
efficient computation
valued logic