“Constraint Integer Programming” http://vs24.kobv.de/opus4-zib/frontdoor/index/index/docId/1112 の著者の Tobias Achterberg さんに質問メールを書いてみた。