Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond.

Olga Tveretina Carsten Sinz Hans Zantema

Published in: J. Satisf. Boolean Model. Comput. (2010)

Keyphrases

ordered binary decision diagrams
deterministic finite automaton
constraint satisfaction problems
model checking
quantified boolean formulae
multi agent
search algorithm
propositional formulas
computational complexity