Popularity-similarity random SAT formulas

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

ISSN: 0004-3702

Any de publicació: 2021

Volum: 299

Tipus: Article

DOI: 10.1016/J.ARTINT.2021.103537 GOOGLE SCHOLAR