Počet záznamů: 1

Random resolution refutations

SYSNO	0477098
Název	Random resolution refutations
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI} Thapen, Neil (MU-W)_{RID, SAI}
Zdroj.dok.	32nd Computational Complexity Conference (CCC 2017). S. 1-10. - Dagstuhl : Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2017 / O’Donnell R.
Konference	32nd Computational Complexity Conference (CCC 2017), 06.07.2017 - 09.07.2017, Riga
Číslo článku	1
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	proof complexity * random * resolution * resolution
URL	http://drops.dagstuhl.de/opus/volltexte/2017/7523
Trvalý link	http://hdl.handle.net/11104/0273490

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak3.pdf	3	538.1 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1