Počet záznamů: 1

Random resolution refutations

SYSNO	0504571
Název	Random resolution refutations
Tvůrce(i)	Pudlák, Pavel (MU-W)_{RID, SAI} Thapen, Neil (MU-W)_{RID, SAI}
Zdroj.dok.	Computational Complexity. Roč. 28, č. 2 (2019), s. 185-239. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	339691, XE - země EU
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	probabilistic proof * proof complexity * resolutions * witching lemma
URL	http://dx.doi.org/10.1007/s00037-019-00182-7
Trvalý link	http://hdl.handle.net/11104/0296173

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak.pdf	1	567.4 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1