%0 Conference Paper %1 conf/ijcai/BrightCSKG20 %A Bright, Curtis %A Cheung, Kevin K. H. %A Stevens, Brett %A Kotsireas, Ilias S. %A Ganesh, Vijay %B IJCAI %D 2020 %E Bessiere, Christian %I ijcai.org %K dblp %P 1460-1466 %T Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#BrightCSKG20 %@ 978-0-9992411-6-5

@inproceedings{conf/ijcai/BrightCSKG20, added-at = {2024-06-27T00:00:00.000+0200}, author = {Bright, Curtis and Cheung, Kevin K. H. and Stevens, Brett and Kotsireas, Ilias S. and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/2c2ee8e702083da24967b05c2a9b6a0a7/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2020}, editor = {Bessiere, Christian}, ee = {https://doi.org/10.24963/ijcai.2020/203}, interhash = {85b4f7f9218b8e16231684c1433b2503}, intrahash = {c2ee8e702083da24967b05c2a9b6a0a7}, isbn = {978-0-9992411-6-5}, keywords = {dblp}, note = {Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic.}, pages = {1460-1466}, publisher = {ijcai.org}, timestamp = {2024-10-21T07:12:55.000+0200}, title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2020.html#BrightCSKG20}, year = 2020 }