Zhao Xing, Weixiong Zhang: Efficient Strategies for (Weighted) Maximum Satisfiability. CP 2004: 690-705