Popularity-similarity random SAT formulas
- Giráldez-Cru, J.
- Levy, J.
Journal:
Artificial Intelligence
ISSN: 0004-3702
Year of publication: 2021
Volume: 299
Type: Article