| ČEPEK, Ondřej, Petr KUČERA and P. SAVICKÝ. Boolean functions with a simple certificate for CNF complexity. Discrete Applied Mathematics. Netherlands, 2012, Vol. 160, Issues 4-5, p. pp. 365-382. ISSN 0166-218X. |
Other formats:
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 and P. SAVICKÝ. Boolean functions with a simple certificate for CNF complexity. \textit{Discrete Applied Mathematics}. Netherlands, 2012, Vol. 160, Issues 4-5, p.~pp. 365-382. ISSN~0166-218X.
|
