Short-time scaling of variable ordering of OBDDs.

Wangning Long Yinghua Min Shiyuan Yang Shibai Tong

Published in: J. Comput. Sci. Technol. (1997)

Keyphrases

variable ordering
branch and bound algorithm
conflict directed
max sat
boolean functions
binary decision diagrams
forward checking
model checking
temporal logic
randomly generated
constraint programming
branch and bound
propositional satisfiability