A tutorial on branch and cut algorithms for the maximum stable set problem
On Maximum Clique Problems In Very Large Graphs