Formal Presentation of Two Initial Variable Ordering Algorithms for Binary Decision Diagrams.

Bruce Mills P. W. Chandana Prasad Ali Assi

Published in: MSV (2006)

Keyphrases

variable ordering
binary decision diagrams
forward checking
boolean functions
database
branch and bound algorithm
data structure
general purpose
optimization problems