Login / Signup
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