Impact of Extended Clauses on Local Search Solvers for Max-SAT | Publicación