2 papers
cs.DM2026
Improving SAT Solvers on Orthogonal Latin Square Problems
Aaron Barnoff, Curtis Bright
Latin squares are matrices containing symbols, where each symbol appears exactly once in each row and column. They were studied by Euler, later popularized through…
math.CO2026
North-East Lattice Paths Avoiding Collinear Points via Satisfiability
Aaron Barnoff, Curtis Bright
We investigate the Gerver-Ramsey collinearity problem of determining the maximum number of points in a north-east lattice path without collinear points. Using a satisfiability…