MSCG: Robust Core-Guided MaxSAT Solving

  title={MSCG: Robust Core-Guided MaxSAT Solving},
  author={Ant{\'o}nio Morgado and Alexey Ignatiev and Joao Marques-Silva},
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. 

From This Paper

Figures, tables, and topics from this paper.
11 Citations
19 References
Similar Papers

Similar Papers

Loading similar papers…