A Method for Disjunctive Constraint Satisfaction · Study