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

2 resultat

Filter

Aktiva

Certified Linear Pseudo-Boolean Optimization
Oertel, A. (Forskare), Nordström, J. (Handledare) & de Rezende, S. (Biträdande handledare)
2021/11/16 → …
Projekt: Avhandling
WASP: Wallenberg AI, Autonomous Systems and Software Program at Lund University
Årzén, K.-E. (Forskare)
2015/10/01 → 2029/12/31
Projekt: Forskning