In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving | Publicación