Random SAT instances à la carte

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

ISSN: 0922-6389

ISBN: 9781586039257

Año de publicación: 2008

Volumen: 184

Número: 1

Páginas: 109-117

Tipo: Aportación congreso

DOI: 10.3233/978-1-58603-925-7-109 GOOGLE SCHOLAR
Fuente de los datos: Scopus