Popularity-similarity random SAT formulas

  1. Giráldez-Cru, J.
  2. Levy, J.
Revue:
Artificial Intelligence

ISSN: 0004-3702

Année de publication: 2021

Volumen: 299

Type: Article

DOI: 10.1016/J.ARTINT.2021.103537 GOOGLE SCHOLAR