An Algebraic Approach to MaxCSP

Ilario Bonacina, Jordi Levy. An Algebraic Approach to MaxCSP. 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.