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