Variable Ordering and Selection for FSM Traversal.

Seon-Woong Jeong Bernard Plessier Gary D. Hachtel Fabio Somenzi

Published in: ICCAD (1991)

Keyphrases

variable ordering
branch and bound algorithm
conflict directed
finite state machines
data structure
max sat
forward checking
evolutionary algorithm
strongly connected components
bayesian networks
propositional satisfiability