Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing

@article{1521,
   author = {Čepek, Ondřej and Kučera, Petr},
   article_number = {149},
   language = {eng},
   issn = {0166-218X},
   journal = {Discrete Applied Mathematics},
   title = {Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing},
   year = {2005}
}

TY  - JOUR
ID  - 1521
AU  - Čepek, Ondřej - Kučera, Petr
PY  - 2005
TI  - Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing
JF  - Discrete Applied Mathematics
IS  - 149
SP  - 14-52
EP  - 14-52
SN  - 0166218X
ER  - 

ČEPEK, Ondřej a Petr KUČERA. Known and new classes od generalized Horn formulae with polynominal recognition and SAT testing. \textit{Discrete Applied Mathematics}. 2005, č.~149, s.~14-52, 38 s. ISSN~0166-218X.