Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh. Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]. pages 1460-1466, ijcai.org, 2020. [doi]
@inproceedings{BrightCSKG20-0, title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem}, author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh}, year = {2020}, doi = {10.24963/ijcai.2020/203}, url = {https://doi.org/10.24963/ijcai.2020/203}, researchr = {https://researchr.org/publication/BrightCSKG20-0}, cites = {0}, citedby = {0}, pages = {1460-1466}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]}, editor = {Christian Bessiere}, publisher = {ijcai.org}, }