Improving Local Search for Maximum Satisfiability by the Feasible Solution Constraint (S).

Xunhao Wang, Wen Bai

Browse the full SEKE paper archive.