Počet záznamů: 1

On the complexity of circuit satisfiability

SYSNO	0351120
Název	On the complexity of circuit satisfiability
Tvůrce(i)	Paturi, R. (US) Pudlák, Pavel (MU-W)_{RID, SAI}
Zdroj.dok.	STOC'10 : Proceedings of the 2010 ACM International Symposium on Theory of Computing. S. 241-249. - New York : Association for Computing Machinery, 2010
Konference	Symposium on Theory of Computing : STOC'10, Cambridge, 05.06.2010-08.06.2010
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
	IAA100190902 GA AV ČR - Akademie věd
CEZ	AV0Z10190503 - MU-W (2005-2011)
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	Circuit satisfiability * NP-completeness
URL	http://dl.acm.org/citation.cfm?doid=1806689.1806724
Trvalý link	http://hdl.handle.net/11104/0190940

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak4.pdf	6	167.3 KB		Autorský postprint	povolen

Počet záznamů: 1