2010
			
	    
	
	
    Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2
ČEPEK, Ondřej; Petr KUČERA a Petr SAVICKÝZákladní údaje
Originální název
Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2
	Autoři
ČEPEK, Ondřej; Petr KUČERA a Petr SAVICKÝ
			Vydání
 New Brunswick, New Jersey, USA, 2010
			Další údaje
Jazyk
angličtina
		Typ výsledku
Účelové publikace
		Obor
10201 Computer sciences, information science, bioinformatics
		Stát vydavatele
Spojené státy
		Utajení
není předmětem státního či obchodního tajemství
		Odkazy
Organizační jednotka
Vysoká škola finanční a správní
			Štítky
				
				Změněno: 31. 3. 2011 10:37, Mgr. Daniela Stýblová