Rado Numbers and SAT Computations.

Yuan Chang, Jess A. De Loera, William J. Wesley

Browse the full ISSAC paper archive.