Solving weighted maximum satisfiability with branch and bound and clause learning | Publicación