Popularity-similarity random SAT formulas
- Giráldez-Cru, J.
- Levy, J.
Aldizkaria:
Artificial Intelligence
ISSN: 0004-3702
Argitalpen urtea: 2021
Alea: 299
Mota: Artikulua