Partial Domain Search Tree for Constraint-Satisfaction Problems