Meena Mahajan Venkatesh Raman Parameterizing above Guaranteed Values: MaxSat and MaxCut. 335-354 1999 31 J. Algorithms 2 db/journals/jal/jal31.html#MahajanR99