Fingeravtryck
Fördjupa i forskningsämnen för ”Certified Core-Guided MaxSAT Solving”. Tillsammans bildar de ett unikt fingeravtryck.- Sortera efter
- Vikt
- Alfabetisk ordning
Certified Core-Guided MaxSAT Solving
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review