@conference {DBLP:conf/aaai/BrightCSKG21,
	title = {A SAT-based Resolution of Lam{\textquoteright}s Problem},
	booktitle = {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},
	year = {2021},
	pages = {3669{\textendash}3676},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V35I5.16483},
	url = {https://doi.org/10.1609/aaai.v35i5.16483},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh}
}
