Robert Mateescu Radu Marinescu 0002 Rina Dechter AND/OR Multi-valued Decision Diagrams for Constraint Optimization. 498-513 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_36 db/conf/cp/cp2007.html#MateescuMD07