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

ISSN: 0166-218X

Argitalpen urtea: 2007

Alea: 155

Zenbakia: 12

Orrialdeak: 1613-1626

Mota: Artikulua

DOI: 10.1016/J.DAM.2005.10.020 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus