Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers | Publicación