Barker, J.; Korf, R. Solving Dots-And-Boxes. AAAI 2021, 26, 414-419.