J. Barker and R. Korf, “Solving 4x5 Dots-And-Boxes”, AAAI, vol. 25, no. 1, pp. 1756-1757, Aug. 2011.