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

Josep Argelich et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics