ČEPEK, Ondřej, Petr KUČERA and Petr SAVICKÝ. Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2. New Brunswick, New Jersey, USA, 2010.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2
Authors ČEPEK, Ondřej, Petr KUČERA and Petr SAVICKÝ.
Edition New Brunswick, New Jersey, USA, 2010.
Other information
Original language English
Type of outcome Special-purpose publication
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
WWW URL
Organization unit University of Finance and Administration
Tags AR 2009/2010, výzkumná zpráva
Changed by Changed by: Mgr. Daniela Stýblová, učo 21908. Changed: 31/3/2011 10:37.
PrintDisplayed: 28/3/2024 09:30