BDD Variable Ordering for Interacting Finite State Machines.

Adnan Aziz Serdar Tasiran Robert K. Brayton

Published in: DAC (1994)

Keyphrases

finite state machines
variable ordering
binary decision diagrams
model checking
boolean functions
temporal logic
conflict directed
finite state automata
planning problems
max sat
branch and bound algorithm
regular expressions
knowledge compilation
genetic algorithm
knowledge representation
propositional logic