Popularity-similarity random SAT formulas

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

ISSN: 0004-3702

Year of publication: 2021

Volume: 299

Type: Article

DOI: 10.1016/J.ARTINT.2021.103537 GOOGLE SCHOLAR