MSCG: Robust Core-Guided MaxSAT Solving

, , and

Volume 9, Issue 1https://doi.org/10.3233/SAT190105

Abstract

Maximum Satisfiability (MaxSAT) is a well-known optimization version of Propositional Satisfiability (SAT) that finds a wide range of 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.

Keywords

maximum satisfiability core-guided Boolean optimization