Finding the Optimal Variable Ordering for Binary Decision Diagrams.

Steven J. Friedman Kenneth J. Supowit

Published in: DAC (1987)

Keyphrases

variable ordering
binary decision diagrams
branch and bound algorithm
boolean functions
optimal solution
lower bound
dynamic programming
planning problems
max sat
expert systems
model checking
propositional satisfiability
orders of magnitude