Number of the records: 1  

Boolean Functions with a Simple Certificate for CNF Complexity.

    1.
    SYSNO0440854
    TitleBoolean Functions with a Simple Certificate for CNF Complexity.
    Author(s) Čepek, O. (CZ)
    Kučera, P. (CZ)
    Savický, Petr (UIVT-O) SAI, RID, ORCID
    Issue dataPiscataway: Rutgers Center for Operations Research, 2010
    Edition Technical Report , RRR 2-2010
    Document TypeVýzkumná zpráva
    Grant 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
    GP201/07/P168
    GA201/07/0205
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryUS
    Keywords Boolean functions * CNF representations
    Permanent Linkhttp://hdl.handle.net/11104/0243946
    FileDownloadSizeCommentaryVersionAccess
    02_2010.pdf0873 KBOtheropen-access
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all