Other formats:
BibTeX
LaTeX
RIS
@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 and Petr SAVICKÝ. \textit{Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2}. New Brunswick, New Jersey, USA, 2010.
|