[1]
C. Bright, K. K. H. Cheung, B. Stevens, I. Kotsireas, and V. Ganesh, “A SAT-based Resolution of Lam’s Problem”, AAAI, vol. 35, no. 5, pp. 3669-3676, May 2021.