Počet záznamů: 1  

Boolean Functions with a Simple Certificate for CNF Complexity.

    1.
    ČEPEK, O., KUČERA, P., SAVICKÝ, P. Boolean Functions with a Simple Certificate for CNF Complexity. Piscataway: Rutgers Center for Operations Research, 2010. Technical Report, RRR 2-2010.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše