Abstract
André Schidler, Stefan Szeider. Analyzing Reformulation Performance in Core-Guided MaxSAT Solving. 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland (Jeremias Berg, Jakob Nordström, eds.), volume 341 of LIPIcs, pages 26:1–26:18, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.