@conference {DBLP:conf/ijcai/BrightCSKG20,
	title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam{\textquoteright}s Problem},
	booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020},
	year = {2020},
	pages = {1460{\textendash}1466},
	publisher = {ijcai.org},
	organization = {ijcai.org},
	doi = {10.24963/IJCAI.2020/203},
	url = {https://doi.org/10.24963/ijcai.2020/203},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Christian Bessiere}
}
