Parameterizing above guaranteed values: MaxSat and MaxCut (1999)

by M Mahajan, V Raman
Venue:J. Algorithms