GurobiやCPLEXのIIS(Irreducible Infeasible Subset)のアルゴリズムって何使ってるんだろうとしばらくちょっと気になっていたのだけど、最近SCIPのメーリングリストで以下の文献が出ていた。 後者はそういえば前にも何かで遭遇したことがあったなぁ。

O. Guieu and J.W. Chinneck (1999), "Analyzing Infeasible Mixed-Integer and Integer Linear Programs", INFORMS Journal on Computing, vol. 11, no. 1, pp. 63-77.

"Feasibility and Infeasibility in Optimization: Algorithms and Computational Methods" published in 2008 by John W. Chinneck.
http://www.springer.com/us/book/9780387749310
http://www.amazon.co.jp/dp/0387749314

この投稿を読んている人にとっては、 Irreducible Infeasible Subset というよりも minimal unsatisfiable core とか言ったほうが、馴染み深いかもしれない。