Improving Local Search for Maximum Satisfiability by the Feasible Solution Constraint (S). - Xunhao Wang; Wen Bai (SEKE, 2025)