MaxSAT with Absolute Value Functions: A Parameterized Perspective.

Max Bannach Pamela Fleischmann Malte Skambath

Published in: SWAT (2022)

Keyphrases

upper bound
social networks
combinatorial optimization
branch and bound algorithm
real world
genetic algorithm
information systems
image processing
special case
np hard
sat solvers