Multivalued Decision Diagrams for Sequencing Problems.

André A. Ciré Willem Jan van Hoeve

Published in: Oper. Res. (2013)

Keyphrases

decision diagrams
sequencing problems
multi valued
graph search
boolean functions
markov decision processes
normal form
planning problems
efficient computation
search problems
digital circuits
binary decision diagrams
scheduling problem
databases
search algorithm
constraint satisfaction problems