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