Login / Signup
Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond.
Olga Tveretina
Carsten Sinz
Hans Zantema
Published in:
Electron. Colloquium Comput. Complex. (2009)
Keyphrases
</>
ordered binary decision diagrams
deterministic finite automaton
quantified boolean formulae
constraint satisfaction problems
model checking
propositional logic
constraint problems
propositional formulas
combinatorial optimization
multi agent
randomly generated
industrial applications