Analyzing Reformulation Performance in Core-Guided MaxSAT Solving

Andr{\'{e}} Schidler, Stefan Szeider
January 2025
PDF bib Project Project DOI

Abstract

Full Citation:

Andr'e 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 and Jakob Nordström), volume 341 of LIPIcs, pages 26:1-26:18, 2025, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Type
Conference Paper
Coe Strides
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.