Boolean functions with a simple certificate for CNF complexity

@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, Vol. 160, Issues 4-5, s.~pp. 365-382. ISSN~0166-218X. 2012.