$R(5,5)\le 46$

Vigleik Angeltveit, Brendan D. McKay

We prove that the Ramsey number $R(5,5)$ is less than or equal to~$46$. The proof uses a combination of linear programming and checking a large number of cases by computer. All of…