Redundancy Rules for MaxSAT

Ilario Bonacina, Maria Luisa Bonet, Sam Buss, Massimo Lauria. Redundancy Rules for MaxSAT. In Jeremias Berg, Jakob Nordström, editors, 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland. Volume 341 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]

Abstract

Abstract is missing.