2014 | OriginalPaper | Buchkapitel
Open-WBO: A Modular MaxSAT Solver,
verfasst von : Ruben Martins, Vasco Manquinho, Inês Lynce
Erschienen in: Theory and Applications of Satisfiability Testing – SAT 2014
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper presents
open-wbo
, a new MaxSAT solver.
open-wbo
has two main features. First, it is an open-source solver that can be easily modified and extended. Most MaxSAT solvers are not available in open-source, making it hard to extend and improve current MaxSAT algorithms. Second,
open-wbo
may use any MiniSAT-like solver as the underlying SAT solver. As many other MaxSAT solvers,
open-wbo
relies on successive calls to a SAT solver. Even though new techniques are proposed for SAT solvers every year, for many MaxSAT solvers it is hard to change the underlying SAT solver. With
open-wbo
, advances in SAT technology will result in a free improvement in the performance of the solver. In addition, the paper uses
open-wbo
to evaluate the impact of using different SAT solvers in the performance of MaxSAT algorithms.