Rado Numbers and SAT Computations

Yuan Chang, Jesús A. De Loera, William J. Wesley

Given a linear equation $\mathcal{E}$, the $k$-color Rado number $R_k(\mathcal{E})$ is the smallest integer $n$ such that every $k$-coloring of $\{1,2,3,\dots ,n\}$ contains a monoc…