On the Classification of Industrial SAT Families

  1. Ansótegui, C.
  2. Bonet, M.L.
  3. Giráldez-Cru, J.
  4. Levy, J.
Colección de libros:
Frontiers in Artificial Intelligence and Applications

ISSN: 0922-6389

ISBN: 9781614995777

Año de publicación: 2015

Volumen: 277

Páginas: 163-172

Tipo: Aportación congreso

DOI: 10.3233/978-1-61499-578-4-163 GOOGLE SCHOLAR
Fuente de los datos: Scopus