TY  - RPRT
TI  - Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
AU  - Curtis Bright
AU  - Kevin K. H. Cheung
AU  - Brett Stevens
AU  - Ilias Kotsireas
AU  - Vijay Ganesh
PY  - 2020
DO  - 10.24963/ijcai.2020/203
UR  - https://arxiv.org/abs/2001.11973
ID  - 2001.11973
ER  -