Ordered Binary Decision Diagrams and Minimal Trellises.

John D. Lafferty Alexander Vardy

Published in: IEEE Trans. Computers (1999)

Keyphrases

ordered binary decision diagrams
deterministic finite automaton
model checking
constraint satisfaction problems
relational databases
genetic algorithm
multi agent
constraint programming
quantified boolean formulae