Extending the reach of SAT with many-valued logics

  1. Béjara, R.
  2. Cabiscol, A.
  3. Fernández, C.
  4. Manyà, F.
  5. Gomes, C.
Revista:
Electronic Notes in Discrete Mathematics

ISSN: 1571-0653,  1571-0653

Año de publicación: 2001

Volumen: 9

Páginas: 392-407

Tipo: Artículo

DOI: 10.1016/S1571-0653(04)00336-1 GOOGLE SCHOLAR
Fuente de los datos: Scopus