Steffen Rebennack: Stable Set Problem: Branch & Cut Algorithms. Encyclopedia of Optimization 2009: 3676-3688