research
∙
06/02/2022
On the Parallel Parameterized Complexity of MaxSAT Variants
In the maximum satisfiability problem (MAX-SAT) we are given a propositi...
share
research
∙
04/26/2022
MaxSAT with Absolute Value Functions: A Parameterized Perspective
The natural generalization of the Boolean satisfiability problem to opti...
research
∙
07/06/2020
Solving Packing Problems with Few Small Items Using Rainbow Matchings
An important area of combinatorial optimization is the study of packing ...
research
∙
02/20/2019