Improving SAT-Based Weighted MaxSAT Solvers

@inproceedings{Anstegui2012ImprovingSW,
  title={Improving SAT-Based Weighted MaxSAT Solvers},
  author={Carlos Ans{\'o}tegui and Maria Luisa Bonet and Joel Gab{\`a}s and Jordi Levy},
  booktitle={CP},
  year={2012}
}
In the last few years, there has been a significant effort in designing and developing efficient Weighted MaxSAT solvers. We study in detail the WPM1 algorithm identifying some weaknesses and proposing solutions to mitigate them. Basically, WPM1 is based on iteratively calling a SAT solver and adding blocking variables and cardinality constraints to relax the unsatisfiable cores returned by the SAT solver. We firstly identify and study how to break the symmetries introduced by the blocking… CONTINUE READING