Rado Numbers and SAT Computations. - Yuan Chang; Jesús A. De Loera; William J. Wesley (ISSAC, 2022)

Algebraic and Boolean Methods for Computation and Certification of Ramsey-type Numbers - William J. Wesley (2023)

Optimization tools for computing colorings of [1,...,n] with few monochromatic solutions on 3-variable linear equations. - Jesús A. De Loera; Denae Ventura; Liuyue Wang; William J. Wesley (Discret. Appl. Math., 2025)