Vitalsource Technologies, Inc. Algorithms And Ordering Heuristics For Distributed Constraint Satisfact