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.
Zeitschrift:
Discrete Applied Mathematics

ISSN: 0166-218X

Datum der Publikation: 2007

Ausgabe: 155

Nummer: 12

Seiten: 1613-1626

Art: Artikel

DOI: 10.1016/J.DAM.2005.10.020 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus