C. Bright, Cheung, K. K. H. , Stevens, B. , Kotsireas, I. S. , and Ganesh, V. , “A SAT-based Resolution of Lam's Problem”, in Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Eve, 2021, pp. 3669–3676.