Flow-Augmentation III: Complexity Dichotomy for Boolean CSPs Parameterized by the Number of Unsatisfied Constraints

Eun Jung Kim 0002, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström. Flow-Augmentation III: Complexity Dichotomy for Boolean CSPs Parameterized by the Number of Unsatisfied Constraints. SIAM Journal on Computing, 54(4):1065-1137, 2025. [doi]

Abstract

Abstract is missing.