Počet záznamů: 1
Boolean Functions with a Simple Certificate for CNF Complexity.
- 1.Čepek, O. - Kučera, P. - Savický, Petr
Boolean Functions with a Simple Certificate for CNF Complexity..
Piscataway: Rutgers Center for Operations Research, 2010. 30 s. Technical Report, RRR 2-2010.
http://hdl.handle.net/11104/0243946
Počet záznamů: 1