Seeking practical CDCL insights from theoretical SAT benchmarks

  1. Elffers, J.
  2. Cru, J.G.
  3. Gocht, S.
  4. Nordström, J.
  5. Simon, L.
Actas:
IJCAI International Joint Conference on Artificial Intelligence

ISSN: 1045-0823

ISBN: 9780999241127

Año de publicación: 2018

Volumen: 2018-July

Páginas: 1300-1308

Tipo: Aportación congreso

DOI: 10.24963/IJCAI.2018/181 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus