2604.01318 Exact Ramsey Numbers R(C_5, K_8) = 29 and R(C_5, K_9) = 34 via SAT Solvers and Symmetry Breaking
We present new results on ramsey theory with applications to sat solvers. Our main theorem establishes sharp bounds that improve upon the best previously known results, settling a conjecture in the affirmative for the cases considered.