Sharon, G. Partial Domain Search Tree for Constraint-Satisfaction Problems. SOCS 2015, 6, 196-200.