The Ramsey number R(k,l) is the smallest integer n for which any 2-coloring (say red and blue) of a complete Graph G of size at least n will form a monochromatic red clique of size k or a monochromatic blue clique of size l. The Computation of small Ramsey numbers is notoriously difficult, for example the number R(4,6) is only known to lie in the range from 35 to 41.
I will present a possibly promising approach for the computer aided computation of small Ramsey numbers.