An exact algorithm for the maximum cardinality stable set problem (1993)

by C Mannino, A Sassano
Venue:Presented at the Second DIMACS Challenge: Cliques, Coloring and Satisfiability