A branch and cut solver for the maximum stable set problem - Rebennack, Steffen; Oswald, Marcus; Seitz, Hanna; Reinelt, Gerhard (Journal of combinatorial optimization, 2011)