J. Barker and R. Korf, “Solving Dots-And-Boxes”, AAAI, vol. 26, no. 1, pp. 414–419, Sep. 2021.