Kevin K.H. Cheung

1 paper in the IJCAI proceedings

IJCAI 2020

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem

with Curtis Bright, Brett Stevens, Ilias Kotsireas, Vijay Ganesh

doi:10.24963/ijcai.2020/203

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings