Structure features for SAT instances classification

  1. Ansótegui, C.
  2. Bonet, M.L.
  3. Giráldez-Cru, J.
  4. Levy, J.
Revista:
Journal of Applied Logic

ISSN: 1570-8683

Año de publicación: 2017

Volumen: 23

Páginas: 27-39

Tipo: Artículo

DOI: 10.1016/J.JAL.2016.11.004 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus