Robert Mateescu Rina Dechter Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs). 329-343 2006 conf/cp/2006 CP http://dx.doi.org/10.1007/11889205_25 db/conf/cp/cp2006.html#MateescuD06