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