//-->
A branch-and-cut algorithm for the maximum cardinality stable set problem
Rossi, F., (2001)
Models and Algorithms for Terrestrial Digital Broadcasting
Scheduling no-wait robotic cells with two and three machines
Agnetis, A., (2000)