【再掲】明日、先進的なMIPソルバのSCIPの開発者らによるチュートリアル http://blog.goo.ne.jp/sdpaninf/e/b20ae13829872105b3c0773d1bec1c3e があるので興味のある方はぜひ。 SCIPはSATのテクニックを取り入れたりもしているので、ひょっとしたらSAT/SMTな人にも面白いかも?