Job Sequencing Bounds from Decision Diagrams.

Published in: CP (2017)

Keyphrases

decision diagrams
multi valued
lower bound
binary decision diagrams
markov decision processes
efficient computation
digital circuits
multiple valued
search algorithm
worst case
constraint satisfaction problems
model checking
planning problems
computational efficiency
compressed data