2005
Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
ČEPEK, Ondřej a Petr KUČERAZákladní údaje
Originální název
Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
Autoři
ČEPEK, Ondřej a Petr KUČERA
Vydání
Discrete Applied Mathematics, 2005, 0166-218X
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10201 Computer sciences, information science, bioinformatics
Utajení
není předmětem státního či obchodního tajemství
Změněno: 4. 6. 2010 10:38, Šárka Kolouchová, DiS.