Hard SAT and CSP instances with expander graphs

  1. Ansótegui, C.
  2. Béjar, R.
  3. Fernàndez, C.
  4. Mateu, C.
Actas:
10th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2008

Año de publicación: 2008

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus