Certified CNF Translations for Pseudo-Boolean Solving

Stephan Gocht, Ruben Martins, Jakob Nordström, Andy Oertel

Carnegie Mellon University

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

1 resultat
- Tilldelningsdatum(stigande)
- Titel

2022
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, S. (Mottagare), Martins, R. (Mottagare), Nordström, J. (Mottagare) & Oertel, A. (Mottagare), 2022
Pris: Pris (inklusive medaljer och utmärkelser)