AND/OR Multi-valued Decision Diagrams for Constraint Optimization

We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint optimization problems. The approach is based on AND/OR search spaces for graphical models, state-of-the-art AND/OR Branch-and-Bound search, and on decision diagrams reduction techniques. We extend earlier work on AOMDDs by considering general weighted graphs based on cost functions rather than constraints. An extensive experimental evaluation proves the efficiency of the weighted AOMDD data structure.

• Type: Conference
• Year: 2007
• Where: CP
• Authors: Robert Mateescu, Radu Marinescu 0002, Rina Dechter
• Keywords: CP 2007, Decision Diagrams, Decision Diagrams Reduction, Multi-valued Decision Diagrams, Programming Languages