Approximations by OBDDs and the Variable Ordering Problem.

Matthias Krause Petr Savický Ingo Wegener

Published in: ICALP (1999)

Keyphrases

variable ordering
branch and bound algorithm
conflict directed
boolean functions
binary decision diagrams
model checking
forward checking
propositional satisfiability
ordered binary decision diagrams
max sat
lower bound
upper bound
simulated annealing
cellular automata
pattern mining
np hard
data mining