Parameterized complexity of MaxSat Above Average.

Robert Crowston Gregory Z. Gutin Mark Jones Venkatesh Raman Saket Saurabh

Published in: Theor. Comput. Sci. (2013)

Keyphrases

parameterized complexity
upper bound
combinatorial optimization
fixed parameter tractable
global constraints
branch and bound algorithm