Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

Browse the full IJCAI paper archive.