Cost-Bounded Binary Decision Diagrams for 0-1 Programming.

Tarik Hadzic John N. Hooker

Published in: CPAIOR (2007)

Keyphrases

binary decision diagrams
boolean functions
knowledge compilation
symbolic model checking
programming language
data sets
model checking
search algorithm
general purpose
itemsets
constraint programming
planning problems
huge number
variable ordering