J
2005
Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
ČEPEK, Ondřej a Petr KUČERA
Zá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
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í
Zobrazeno: 19. 11. 2024 00:24