MSCG: Robust core-guided MaxSAT solving

Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva

Research output: Contribution to journalArticleResearchpeer-review


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.
Original languageEnglish
Pages (from-to)129-134
Number of pages6
JournalJournal on Satisfiability, Boolean Modeling and Computation
Issue number1
Publication statusPublished - 1 Dec 2015
Externally publishedYes


  • maximum satisability
  • core-guided
  • Boolean optimization

Cite this