MaxSAT-based encodings for Group MaxSAT
Federico Heras, António Morgado, João P. Marques-Silva · AI Communications · 2015
Weighted Partial MaxSAT (WPMS) is a well-known optimization variant of Boolean Satisfiability (SAT) that finds a wide range of practical applications. WPMS divides the formula in two sets of clauses: The hard clauses that must be satisfied and the so