Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3,8)$ and $R(3,9)$ Problems

Zhengyu Li, Conor Duggan, Curtis Bright +1

The Ramsey problem $R(3,k)$ seeks to determine the smallest value of $n$ such that any red/blue edge coloring of the complete graph on $n$ vertices must either contain a blue tria…