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

2 results

Active

Certified Linear Pseudo-Boolean Optimization
Oertel, A. (Researcher), Nordström, J. (Supervisor) & de Rezende, S. (Assistant supervisor)
2021/11/16 → …
Project: Dissertation
WASP: Wallenberg AI, Autonomous Systems and Software Program at Lund University
Årzén, K.-E. (Researcher)
2015/10/01 → 2029/12/31
Project: Research