Počet záznamů: 1

Boolean Functions with a Simple Certificate for CNF Complexity

SYSNO	0351382
Název	Boolean Functions with a Simple Certificate for CNF Complexity
Tvůrce(i)	Čepek, O. (CZ) Kučera, P. (CZ) Savický, Petr (UIVT-O)_{SAI, RID, ORCID}
Korespondující/senior	Čepek, O. - Korespondující autor
Zdroj.dok.	Discrete Applied Mathematics. Roč. 160, 4-5 (2012), s. 365-382. - : Elsevier
Druh dok.	Článek v odborném periodiku
Grant	1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
	GP201/07/P168, CZ - Česká republika
	GAP202/10/1188, CZ - Česká republika
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Boolean functions * CNF representations
Trvalý link	http://hdl.handle.net/11104/0191148

Počet záznamů: 1