Kevin K. H. Cheung

31 papers A* 3B 2C 1Journal 25
YearRankTypeTitle / Venue / Authors
2023 J jnl
A detailed introduction to a minimum-cost perfect matching algorithm based on linear programming.
J. Comb. Optim.
Kevin K. H. Cheung, Kyel Governor
2023 J jnl
Unconstrained traveling tournament problem is APX-complete.
Oper. Res. Lett.
Salomon Bendayan, Joseph Cheriyan, Kevin K. H. Cheung
2022 A* conf
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract).
AAAI
Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung
2022 J jnl
Unconstrained Traveling Tournament Problem is APX-complete.
CoRR
Salomon Bendayan, Joseph Cheriyan, Kevin K. H. Cheung
2021 A* conf
A SAT-based Resolution of Lam's Problem.
AAAI
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2021 B conf
Improving Integer and Constraint Programming for Graeco-Latin Squares.
ICTAI
Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens
2021 J jnl
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares.
CoRR
Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens
2020 J jnl
A SAT-based Resolution of Lam's Problem.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
A nonexistence certificate for projective planes of order ten with weight 15 codewords.
Appl. Algebra Eng. Commun. Comput.
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2020 C conf
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.
IWOCA
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
Revisiting a Cutting-Plane Method for Perfect Matchings.
Open J. Math. Optim.
Amber Q. Chen, Kevin K. H. Cheung, P. Michael Kielstra, Avery D. Winn
2020 A* conf
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.
IJCAI
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020 J jnl
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2019 J jnl
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords.
CoRR
Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2019 J jnl
Revisiting a Cutting Plane Method for Perfect Matchings.
CoRR
Amber Q. Chen, Kevin K. H. Cheung, P. Michael Kielstra, Andrew Winn
2017 J jnl
Improved approximation of layout problems on random graphs.
CoRR
Kevin K. H. Cheung, Patrick D. Girardet
2017 B conf
Verifying Integer Programming Results.
IPCO
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
2016 J jnl
Certificates of Optimality for Mixed Integer Linear Programming Using Generalized Subadditive Generator Functions.
Adv. Oper. Res.
Kevin K. H. Cheung, Babak Moazzez
2016 J jnl
Verifying Integer Programming Results.
CoRR
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
2010 J jnl
Revisiting a simple algorithm for the planar multiterminal cut problem.
Oper. Res. Lett.
Kevin K. H. Cheung, Kyle Harvey
2009 J jnl
A Benders approach for computing lower bounds for the mirrored traveling tournament problem.
Discret. Optim.
Kevin K. H. Cheung
2009 J jnl
Maximal planar graphs of inscribable type and diagonal flips.
Discret. Math.
Kevin K. H. Cheung
2008 J jnl
Solving mirrored traveling tournament problem benchmark instances with eight teams.
Discret. Optim.
Kevin K. H. Cheung
2008 J jnl
The equivalence of semidefinite relaxations of polynomial 0-1 and +/- 1 programs via scaling.
Oper. Res. Lett.
Kevin K. H. Cheung
2007 J jnl
Computation of the Lasserre Ranks of Some Polytopes.
Math. Oper. Res.
Kevin K. H. Cheung
2006 J jnl
Facets of the independent path-matching polytope.
Discret. Optim.
Kevin K. H. Cheung
2006 J jnl
Optimal 3-terminal cuts and linear programming.
Math. Program.
Kevin K. H. Cheung, William H. Cunningham, Lawrence Tang
2005 J jnl
On Lov[a-acute]sz--Schrijver Lift-and-Project Procedures on the Dantzig--Fulkerson--Johnson Relaxation of the TSP.
SIAM J. Optim.
Kevin K. H. Cheung
2001 J jnl
Decomposing Finite Abelian Groups
CoRR
Kevin K. H. Cheung, Michele Mosca
2001 J jnl
Decomposing finite Abelian groups.
Quantum Inf. Comput.
Kevin K. H. Cheung, Michele Mosca