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

From MaRDI portal
Publication:505972