Počet záznamů: 1

Complexity of Propositional Proofs Under a Promise

SYSNO	0343940
Název	Complexity of Propositional Proofs Under a Promise
Tvůrce(i)	Dershowitz, N. (IL) Tzameret, Iddo (MU-W)_SAI
Zdroj.dok.	ACM Transactions on Computational Logic. Roč. 11, č. 3 (2010), s. 1-29. - : Association for Computing Machinery
Druh dok.	Článek v odborném periodiku
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	theory * promise problems * propositional proof complexity * random 3CNF * resolution
URL	http://dl.acm.org/citation.cfm?doid=1740582.1740586
Trvalý link	http://hdl.handle.net/11104/0186297

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

Počet záznamů: 1