The irredundant Ramsey number s(m,n) is the smallest p such that for e
very graph G with p vertices, either G contains an n-element irredunda
nt set or its complement ($) over bar G contains an m-element irredund
ant set. Cockayne, Hattingh, and Mynhardt have given a computer-assist
ed proof that s(3,7) = 18. The purpose of this paper is to give a self
-contained proof of this result. (C) 1995 John Wiley & Sons, Inc.