Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2

@misc{2304,
   author = {Čepek, Ondřej and Kučera, Petr and Savický, Petr},
   address = {New Brunswick, New Jersey, USA},
   language = {eng},
   location = {New Brunswick, New Jersey, USA},
   title = {Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2},
   url = {http://rutcor.rutgers.edu/pub/rrr/reports2010/02_2010.pdf},
   year = {2010}
}

TY  - GEN
ID  - 2304
AU  - Čepek, Ondřej - Kučera, Petr - Savický, Petr
PY  - 2010
TI  - Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2
CY  - New Brunswick, New Jersey, USA
UR  - http://rutcor.rutgers.edu/pub/rrr/reports2010/02_2010.pdf
ER  - 

ČEPEK, Ondřej, Petr KUČERA a Petr SAVICKÝ. \textit{Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2}. New Brunswick, New Jersey, USA, 2010.