Login / Signup

Optimization Bounds from Binary Decision Diagrams.

David BergmanAndré A. CiréWillem Jan van HoeveJohn N. Hooker
Published in: INFORMS J. Comput. (2014)
Keyphrases
  • binary decision diagrams
  • lower bound
  • symbolic model checking
  • upper bound
  • boolean functions
  • data mining
  • learning algorithm
  • data model
  • knowledge acquisition
  • knowledge based systems
  • variable ordering