TY  - RPRT
TI  - A SAT-based Resolution of Lam's Problem
AU  - Curtis Bright
AU  - Kevin K. H. Cheung
AU  - Brett Stevens
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2020
DO  - 10.1609/aaai.v35i5.16483
UR  - https://arxiv.org/abs/2012.04715
ID  - 2012.04715
ER  -