Constraint Satisfaction Programming for the No-three-in-line Problem
Combinatorics
2026-02-10 v1
Abstract
Using a constraint satisfaction approach, we exhibit configurations of points on the grid for all with no three collinear. Consequently, the smallest for which it is unknown whether increases from to .
Cite
@article{arxiv.2602.07751,
title = {Constraint Satisfaction Programming for the No-three-in-line Problem},
author = {Thomas Prellberg},
journal= {arXiv preprint arXiv:2602.07751},
year = {2026}
}
Comments
16 pages, 6 figures, supplementary material on https://github.com/ThomasPrellberg/no-three-in-line---CP-SAT