In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving

Marc Vinyals, Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingResearchpeer-review

12 Citations (SciVal)

Fingerprint

Dive into the research topics of 'In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving'. Together they form a unique fingerprint.