ČEPEK, Ondřej, Petr KUČERA a P. SAVICKÝ. Boolean functions with a simple certificate for CNF complexity. Discrete Applied Mathematics. Netherlands, 2012, Vol. 160, Issues 4-5, s. pp. 365-382. ISSN 0166-218X. |
Další formáty:
BibTeX
LaTeX
RIS
@article{4058, author = {Čepek, Ondřej and Kučera, Petr and Savický, P.}, article_location = {Netherlands}, article_number = {Issues 4-5}, language = {eng}, issn = {0166-218X}, journal = {Discrete Applied Mathematics}, title = {Boolean functions with a simple certificate for CNF complexity}, volume = {Vol. 160}, year = {2012} }
TY - JOUR ID - 4058 AU - Čepek, Ondřej - Kučera, Petr - Savický, P. PY - 2012 TI - Boolean functions with a simple certificate for CNF complexity JF - Discrete Applied Mathematics VL - Vol. 160 IS - Issues 4-5 SP - pp. 365-382 EP - pp. 365-382 SN - 0166218X ER -
ČEPEK, Ondřej, Petr KUČERA a P. SAVICKÝ. Boolean functions with a simple certificate for CNF complexity. \textit{Discrete Applied Mathematics}. Netherlands, 2012, Vol. 160, Issues 4-5, s.~pp. 365-382. ISSN~0166-218X.
|