Binary Decision Diagrams for Bin Packing with Minimum Color Fragmentation.

David Bergman Carlos Cardonha Saharnaz Mehrani

Published in: CoRR (2018)

Keyphrases

bin packing
binary decision diagrams
graph colouring
boolean functions
search tree
symbolic model checking
planning problems
data mining
search algorithm
data mining techniques
model checking
packing problem
knowledge compilation
fp tree
variable ordering