Variable ordering for taylor expansion diagrams.

Daniel Gomez-Prado Qian Ren Serkan Askar Maciej J. Ciesielski Emmanuel Boutillon

Published in: HLDVT (2004)

Keyphrases

variable ordering
branch and bound algorithm
conflict directed
max sat
lower bound
forward checking
randomly generated
propositional satisfiability
binary decision diagrams
artificial intelligence
branch and bound
strongly connected components