3 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.CO2025
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…
cs.FL2024
Using finite automata to compute the base- representation of the golden ratio and other quadratic irrationals
Aaron Barnoff, Curtis Bright, Jeffrey Shallit
We show that the 'th digit of the base- representation of the golden ratio is a finite-state function of the Zeckendorf representation of , and hence can be computed by…