MSCG: Robust Core-Guided MaxSAT Solving

摘要

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.