Boosting branch-and-bound MaxSAT solvers with clause learning | Publicación