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