Aaron Barnoff

According to our database, Aaron Barnoff authored at least 5 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2026

Improving SAT Solvers on Orthogonal Latin Square Problems.

Aaron Barnoff, Curtis Bright

CoRR, May, 2026

Computing the base-b representation of quadratic irrationals using automata.

Aaron Barnoff, Curtis Bright, Jeffrey O. Shallit

Theor. Comput. Sci., 2026

North-East lattice paths avoiding k collinear points via satisfiability.

Aaron Barnoff, Curtis Bright

Adv. Appl. Math., 2026

2025

North-East Lattice Paths Avoiding <i>k</i> Collinear Points via Satisfiability.

Aaron Barnoff, Curtis Bright

CoRR, November, 2025

2024

Using Finite Automata to Compute the Base-b Representation of the Golden Ratio and Other Quadratic Irrationals.

Aaron Barnoff, Curtis Bright, Jeffrey O. Shallit

Proceedings of the Implementation and Application of Automata, 2024