Compiling Constraint Networks into Multivalued Decomposable Decision Graphs