Browsing Articles publicats (Informàtica i Enginyeria Industrial) by Subject "2SAT"
Now showing items 1-1 of 1
-
On the Performance of MaxSAT and MinSAT Solvers on 2SAT-MaxOnes
(Springer International Publishing Switzerland, 2016-06-01)We analyze and compare two solvers for Boolean optimization problems: WMaxSatz, a solver for Partial MaxSAT, and MinSatz, a solver for Partial MinSAT. Both MaxSAT and MinSAT are similar, but previous results indicate that ...