On Threshold BDDs and the Optimal Variable Ordering Problem.

Published in: COCOA (2007)

Keyphrases

variable ordering
binary decision diagrams
heuristic search
dynamic programming
branch and bound algorithm
boolean functions
bayesian networks
optimal solution
domain specific
conflict directed