Cheung, Kevin K. H.

3 publications

AAAI 2022 Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung

AAAI 2021 A SAT-Based Resolution of Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

IJCAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh