Using Inferred Disjunctive Constraints To Decompose Constraint Satisfaction Problems.

Eugene C. Freuder, Paul D. Hubbe

Browse the full IJCAI paper archive.