Study of Exoo's Lower Bound for Ramsey number $R(5,5)$

Lachlan Ge, Yasiru Jayasooriya, Alex Qiu +2

We review Exoo's 1989 paper, which demonstrates that a lower bound for the Ramsey number $R(5,5)$ is $43$. We provide an efficient way to verify the claims in the paper, adding det…