I'm studying the Ramsey numbers, especially $R(3,6) = 18$
I understand that the proof using the theorem $R(m,n) <R(m-1,n)+R(m,n-1)$ can only prove that $R(3,6)<20$. However by Cariolaro's "On the Ramsey number $R(3,6) = 18$"On the Ramsey number $R(3,6)$" I understand the proof for $R(3,6)<19$.
Now I try to understand the proof for $R(3,6)>17$, but the graph there is built with some program. I read that it is possible to build a graph to test $R(3,6)>17$ without programs.
In "thesis (Ph. D.)--University of Waterloo, 1966, Chromatic Graphs and Ramsey's Theorem"Chromatic Graphs and Ramsey's Theorem" by J. G. Kalbfleisch this result supposedly exists, but unfortunately I can not find the document. Can someone give the idea of the construction or do you know of any document or article where you do it?