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.
Journal:
Annals of Mathematics and Artificial Intelligence

ISSN: 1573-7470,  1012-2443

Year of publication: 2016

Volume: 77

Issue: 1-2

Pages: 43-66

Type: Article

DOI: 10.1007/S10472-016-9502-1 GOOGLE SCHOLAR
Data source: Scopus