Comment Comment by krick How hard is computing Ramsey numbers, BTW? Is there a word for that? parent krick 3 years ago