Search Results for author: Kevin K. H. Cheung

Found 2 papers, 2 papers with code

Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares

1 code implementation19 Mar 2021 Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens

Both programming paradigms have previously successfully been used to search for MOLS, but solvers for IP and CP solvers have significantly improved in recent years and data on how modern IP and CP solvers perform on the MOLS problem is lacking.

A SAT-based Resolution of Lam's Problem

1 code implementation8 Dec 2020 Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas, Vijay Ganesh

In 1989, computer searches by Lam, Thiel, and Swiercz experimentally resolved Lam's problem from projective geometry$\unicode{x2014}$the long-standing problem of determining if a projective plane of order ten exists.

Cannot find the paper you are looking for? You can Submit a new open access paper.