Další formáty:
BibTeX
LaTeX
RIS
@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.
|