Regular-SAT: A many-valued approach to solving combinatorial problems

  1. Béjar, R.
  2. Manyà, F.
  3. Cabiscol, A.
  4. Fernàndez, C.
  5. Gomes, C.
Revista:
Discrete Applied Mathematics

ISSN: 0166-218X

Año de publicación: 2007

Volumen: 155

Número: 12

Páginas: 1613-1626

Tipo: Artículo

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