MaxSAT with absolute value functions: a parameterized perspective

DOI10.4230/LIPICS.SWAT.2022.12MaRDI QIDQ6544071zbMATH OpenFDO

Authors Max Bannach, Pamela Fleischmann, Malte Skambath

Publication date 27 May 2024

zbMATH Keywords

parameterized complexitykernelizationweighted maximum satisfiabilityabsolute value maximization

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx)

This page was built for publication: MaxSAT with absolute value functions: a parameterized perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544071)