Optimization Bounds from Binary Decision Diagrams - (Extended Abstract).

David Bergman André A. Ciré Willem Jan van Hoeve John N. Hooker

Published in: CP (2014)

Keyphrases

extended abstract
binary decision diagrams
lower bound
upper bound
symbolic model checking
databases
machine learning
model checking
planning problems
boolean functions
knowledge compilation