G. Sharon, “Partial Domain Search Tree for Constraint-Satisfaction Problems”, SOCS, vol. 6, no. 1, pp. 196–200, Sep. 2021.