On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes

  1. Argelich, J.
  2. Béjar, R.
  3. Fernández, C.
  4. Mateu, C.
  5. Planes, J.
Revista:
Annals of Mathematics and Artificial Intelligence

ISSN: 1573-7470,  1012-2443

Año de publicación: 2016

Volumen: 77

Número: 1-2

Páginas: 43-66

Tipo: Artículo

DOI: 10.1007/S10472-016-9502-1 GOOGLE SCHOLAR
Fuente de los datos: Scopus