The Search Space of Ramsey (5, 5)

I think any theoretical computer scientists (or students) who have heard of Paul Erdos and Ramsey Numbers are tickled by the well known problem of Ramsey (5, 5). Ramsey numbers intrigues computer scientists because of the concept seems very simple to understand, but the complexity of the problem is super-exponential. While we know that Ramsey [...]