Bilevel Programming, Interdiction, and Branching for Binary Integer Programs

[1]  Egon Balas,et al.  Finding a Maximum Clique in an Arbitrary Graph , 1986, SIAM J. Comput..