Backbone Guided Local Search for Maximum Satisfiability. - Weixiong Zhang; Ananda Rangan; Moshe Looks (IJCAI, 2003)