Popularity-similarity random SAT formulas

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

ISSN: 0004-3702

Argitalpen urtea: 2021

Alea: 299

Mota: Artikulua

DOI: 10.1016/J.ARTINT.2021.103537 GOOGLE SCHOLAR