Meena Mahajan Venkatesh Raman Parametrizing Above Guaranteed Values: MaxSat and MaxCut Electronic Colloquium on Computational Complexity (ECCC) 1997 33 4 db/journals/eccc/eccc4.html#ECCC-TR97-033 http://eccc.hpi-web.de/eccc-reports/1997/TR97-033/index.html