Very narrow quantum OBDDs and width hierarchies for classical OBDDs.

Farid M. Ablayev Aida Gainutdinova Kamil Khadiev Abuzer Yakaryilmaz

Published in: CoRR (2014)

Keyphrases

ordered binary decision diagrams
boolean functions
model checking
temporal logic
quantum computation
real time
quantum mechanics
evolutionary algorithm
mobile devices
decision diagrams
quantum probability
neural network
multi agent
video sequences