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.- Sortera efter
- Vikt
- Alfabetisk ordning
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 proceeding › Konferenspaper i proceeding › Peer review