Brett Stevens

1 paper in the IJCAI proceedings

IJCAI 2020

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem

with Curtis Bright, Kevin K.H. Cheung, Ilias Kotsireas, Vijay Ganesh

doi:10.24963/ijcai.2020/203

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings