New Metrics for Static Variable Ordering in Decision Diagrams.

Radu Siminiceanu Gianfranco Ciardo

Published in: TACAS (2006)

Keyphrases

variable ordering
decision diagrams
binary decision diagrams
boolean functions
branch and bound algorithm
planning problems
model checking
markov decision processes
efficient computation
multi valued
digital circuits
constraint satisfaction problems
max sat
knowledge compilation
objective function