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

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

12 Citeringar (SciVal)

Fingeravtryck

Fördjupa i forskningsämnen för ”In between resolution and cutting planes: A study of proof systems for pseudo-boolean SAT solving”. Tillsammans bildar de ett unikt fingeravtryck.