Počet záznamů: 1
The complexity of proving that a graph is Ramsey
- 1.
SYSNO 0395529 Název The complexity of proving that a graph is Ramsey Tvůrce(i) Lauria, Massimo (MU-W) SAI
Pudlák, Pavel (MU-W) RID, SAI
Thapen, Neil (MU-W) RID, SAI
Rödl, V. (US)Zdroj.dok. Automata, Languages, and Programming. Part I. S. 684-695. - Berlin : Springer, 2013 / Fomin F.V. ; Freivalds R. ; Kwiatkowska M. ; Peleg D. Konference International Colloquium, ICALP 2013 /40./, Riga, 08.07.2013-12.07.2013 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant IAA100190902 GA AV ČR - Akademie věd GBP202/12/G061 GA ČR - Grantová agentura ČR Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. DE Klíč.slova CNF formulas * independent set * lower bounds Spolupracující instituce Royal Institute of Technology (Švédsko)
Emory University (Spojené státy americké)URL http://link.springer.com/chapter/10.1007%2F978-3-642-39206-1_58 Trvalý link http://hdl.handle.net/11104/0223541 Název souboru Staženo Velikost Komentář Verze Přístup Pudlak.pdf 5 224.2 KB Vydavatelský postprint vyžádat
Počet záznamů: 1