In the maximum satisfiability problem (MAX-SAT) we are given a propositi...
The natural generalization of the Boolean satisfiability problem to
opti...
An important area of combinatorial optimization is the study of packing ...
Parallel parameterized complexity theory studies how fixed-parameter
tra...