今井さんのソルバDocumentがUpdateした

 CDCL を用いた MILP の厳密解法 - Speaker Deck

2年ほど前に拝聴した資料からUpdateしたようです。Bendors DecompositionとSATソルバを使うところが新しい試みで汎用MIPソルバとして数少ない公開ソルバの一つ(CBC並みの性能を持つソルバとして日本では唯一の公開ソルバ）です。