MSCG: Robust Core-Guided MaxSAT Solving
António Morgado, Alexey Ignatiev, João P. Marques-Silva · Journal on Satisfiability Boolean Modeling and Computation · 2015
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 approac