Certified CNF Translations for Pseudo-Boolean Solving

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

Carnegie Mellon University

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

1 results
- Award date(ascending)
- Title

2022
Best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing
Gocht, S. (Recipient), Martins, R. (Recipient), Nordström, J. (Recipient) & Oertel, A. (Recipient), 2022
Prize: Prize (including medals and awards)