On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
ISSN: 1573-7470, 1012-2443
Ano de publicación: 2016
Volume: 77
Número: 1-2
Páxinas: 43-66
Tipo: Artigo
ISSN: 1573-7470, 1012-2443
Ano de publicación: 2016
Volume: 77
Número: 1-2
Páxinas: 43-66
Tipo: Artigo