The complexity of proving that a graph is Ramsey
Crossref DOI link: https://doi.org/10.1007/s00493-015-3193-9
Published Online: 2016-02-01
Published Print: 2017-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lauria, Massimo
Pudlák, Pavel
Rödl, Vojtěch
Thapen, Neil
Text and Data Mining valid from 2016-02-01