Due to an oversight by the Publisher, the following articles have appeared in Discrete Applied Mathematics without any indication that these papers were supposed to be in the Mathematical Software Section of the journal. The Publisher wishes to apologise for this oversight to the authors of the articles and also to the Mathematical Software Section editors.
In this paper we present an efficient algorithm for generating maximal triangle-free graphs. A program based on this algorithm has been used to check a conjecture of Erdo´´s about the local density of triangle-free graphs and turned out to be very powerful for the computation of triangle Ramsey numbers.
We determine the Ramsey numbers $r(K_3,G)$ for all $261080$ connected graphs of order $9$ and further Ramsey numbers of this type for some graphs of order up to $12$. Almost all of them were determined by computer programs which are based on a program for generating maximal triangle-free graphs.