Kevin K. H. Cheung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2017–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AAAI | Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract). | Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung |
| 2021 | AAAI | A SAT-based Resolution of Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2021 | ICTAI | Improving Integer and Constraint Programming for Graeco-Latin Squares. | Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens |
| 2020 | IJCAI | Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2020 | IWOCA | Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. | Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh |
| 2017 | IPCO | Verifying Integer Programming Results. | Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy |