The fractal dimension of SAT formulas

  1. Ansótegui, C.
  2. Bonet, M.L.
  3. Giráldez-Cru, J.
  4. Levy, J.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

ISBN: 9783319085869

Año de publicación: 2014

Volumen: 8562 LNAI

Páginas: 107-121

Tipo: Aportación congreso

DOI: 10.1007/978-3-319-08587-6_8 GOOGLE SCHOLAR