CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability