Počet záznamů: 1

A note on propositional proof complexity of some Ramsey-type statements

SYSNO	0369652
Název	A note on propositional proof complexity of some Ramsey-type statements
Tvůrce(i)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Zdroj.dok.	Archive for Mathematical Logic. Roč. 50, 1-2 (2011), s. 245-255. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	IAA100190902 GA AV ČR - Akademie věd
	LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	proof complexity * Ramsey theorem * resolution
URL	http://www.springerlink.com/content/q27255801x225772/
Trvalý link	http://hdl.handle.net/11104/0203666

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Krajicek.pdf	2	188.1 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1