Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation.

David Bergman Carlos Cardonha Saharnaz Mehrani

Published in: CPAIOR (2019)

Keyphrases

bin packing
binary decision diagrams
graph colouring
search tree
symbolic model checking
boolean functions
variable ordering
model checking
planning problems
packing problem
computational complexity
search space
information extraction
global constraints
knowledge compilation