North-East Lattice Paths Avoiding $k$ 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 $k$ collinear points. Using a satisfiability…