Popularity-similarity random SAT formulas

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

ISSN: 0004-3702

Datum der Publikation: 2021

Ausgabe: 299

Art: Artikel

DOI: 10.1016/J.ARTINT.2021.103537 GOOGLE SCHOLAR