Explaining Propagators for Edge-Valued Decision Diagrams.

Graeme Gange Peter J. Stuckey Pascal Van Hentenryck

Published in: CP (2013)

Keyphrases

decision diagrams
multi valued
constraint propagation
markov decision processes
constraint programming
efficient computation
digital circuits
binary decision diagrams
planning problems
global constraints
compressed data
image processing
weighted graph
undirected graph