Papers
Thesis
-
A Computational Approach to Improving Bounds on the Hales--Jewett Numbers
-
Structure-Aware SAT Heuristics for Hales--Jewett Instances
Mathematics
Computer Science
In Progress
-
On Hales--Jewett and Related Numbers