M. Heule, “Schur Number Five”, AAAI, vol. 32, no. 1, Apr. 2018.