Počet záznamů: 1

Total space in resolution

SYSNO	0466751
Název	Total space in resolution
Tvůrce(i)	Bonacina, I. (SE) Galesi, N. (IT) Thapen, Neil (MU-W)_{RID, SAI}
Zdroj.dok.	Siam Journal on Computing. Roč. 45, č. 5 (2016), s. 1894-1909
Druh dok.	Článek v odborném periodiku
Grant	GBP202/12/G061 GA ČR - Grantová agentura ČR
	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	total space * resolution random CNFs * proof complexity
Spolupracující instituce	KTH Royal Institute of Technology (Švédsko) Sapienza University of Rome (Itálie)
URL	http://epubs.siam.org/doi/10.1137/15M1023269
Trvalý link	http://hdl.handle.net/11104/0264987

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Thapen2.pdf	8	493.9 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1