Maximum stable set formulations and heuristics based on continuous optimization