The Complexity of Proving That a Graph Is Ramsey.

Massimo Lauria, Pavel Pudlk, Vojtech Rdl, Neil Thapen

Browse the full ICALP paper archive.