GurobiやCPLEXのIIS(Irreducible Infeasible Subset)のアルゴリズムって何使ってるんだろうと前からちょっと気になっていたのだけど、最近SCIPのメーリングリストの minimal irreducible infeasible subsystem というスレッド http://listserv.zib.de/pipermail/scip/2015-December/thread.html#2609 で以下のような文献が出ていた。 後者はそういえば前にも何かで遭遇したことがあったなぁ。
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.
http://www.sce.carleton.ca/faculty/chinneck/docs/GuieuChinneck.pdf
"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
https://books.google.co.jp/books?id=BiBgz6AIRpMC&lpg=PR1&hl=ja&pg=PR1#v=onepage&q&f=false
関連するチュートリアル講演のスライド: http://www.sce.carleton.ca/faculty/chinneck/docs/CPAIOR07InfeasibilityTutorial.pdf
この投稿を読んている人にとっては、 Irreducible Infeasible Subset というよりも Minimal Unsatisfiable Core とか言ったほうが、馴染み深いかもしれないが。
(先日投稿したものが、間違えて限定公開にしてしまっていたようなので、少し加筆して一般公開で再投稿)