Very Narrow Quantum OBDDs and Width Hierarchies for Classical OBDDs.

Farid M. Ablayev Aida Gainutdinova Kamil Khadiev Abuzer Yakaryilmaz

Published in: DCFS (2014)

Keyphrases

data sets
ordered binary decision diagrams
boolean functions
quantum computation
model checking
temporal logic
quantum mechanics
database
genetic algorithm
learning algorithm
constraint satisfaction problems
decision diagrams
quantified boolean formulae