(1)
Heule, M. Schur Number Five. AAAI 2018, 32.