On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes | Publicación