A branch-and-cut algorithm for the maximum cardinality stable set problem.

Fabrizio Rossi Stefano Smriglio A branch-and-cut algorithm for the maximum cardinality stable set problem. 63-74 2001 28 Oper. Res. Lett. 2 http://dx.doi.org/10.1016/S0167-6377(00)00060-2 db/journals/orl/orl28.html#RossiS01