Computational methods for Ramsey numbers - Haanpää, Harri; Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, 2000)