Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).

Robert Mateescu Rina Dechter

Published in: CP (2006)

Keyphrases

constraint networks
multi valued decision diagrams
temporal reasoning
constraint satisfaction problems
constraint satisfaction
graphical models
arc consistency
constraint programming
decision diagrams
objective function