Skip to main content

1 Result(s)

within Article Remove this filter Jordi Planes Remove this filter Complex Systems Remove this filter

and

  1. No Access

    Article

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

    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 i...

    Josep Argelich, Ramón Béjar, Cèsar Fernández… in Annals of Mathematics and Artificial Intel… (2016)