EasyChair Smart Slide
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving
In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving