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

Marc Vinyals, Jan Elffers, Jess Girldez-Cru, Stephan Gocht, Jakob Nordstrm

Browse the full SAT paper archive.