2020
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
IJCAI 2020poster
In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on m…