Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition.

Yong Lai Dayou Liu Minghao Yin

Published in: CoRR (2014)

Keyphrases

ordered binary decision diagrams
deterministic finite automaton
constraint satisfaction problems
model checking
quantified boolean formulae
expert systems
search space
np hard
state space
upper bound
logic programming