On different models for generating random SAT problems
| Hlavní autori: | , , |
|---|---|
| Médium: | Článok |
| Jazyk: | slovenčina angličtina |
| PhysicalDescription: | Fotogr., grafy, tab. |
| ISSN: | 1335-9150 |
| Predmet: |
| Fyzický popis: | Fotogr., grafy, tab. |
|---|---|
| ISSN: | 1335-9150 |
| Bibliografia: | Res. angl. Bibliogr. odkazy Biogr. údaje |
