Maximum Satisfiability Using Cores and Correction Sets

Open in new window