MSCG: Robust Core-Guided MaxSAT Solving

Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva


Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of relevant practical applications. This work describes and evaluates the Maximum Satisfiability using the Core-Guided approach solver (MSCG), which is a robust MaxSAT solver that participated in the MaxSAT Evaluation 2014. An experimental comparison with state-of-the-art MaxSAT solvers is presented.


Maximum Satisfiability; Core-Guided; Boolean Optimization

Full Text:



  • There are currently no refbacks.