Popularity-similarity random SAT formulas
- Giráldez-Cru, J.
- Levy, J.
Zeitschrift:
Artificial Intelligence
ISSN: 0004-3702
Datum der Publikation: 2021
Ausgabe: 299
Art: Artikel