Bright, C.; Cheung, K. K. H.; Stevens, B.; Kotsireas, I.; Ganesh, V. A SAT-Based Resolution of Lam’s Problem. AAAI 2021, 35, 3669-3676.