Fingeravtryck
Fördjupa i forskningsämnen för ”Certified CNF Translations for Pseudo-Boolean Solving”. Tillsammans bildar de ett unikt fingeravtryck.- Sortera efter
- Vikt
- Alfabetisk ordning
Certified CNF Translations for Pseudo-Boolean Solving
Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review