分野別セミナー

制約整数計画(CIP: Constraint Integer Programming)は，混合整数線形計画(MILP: Mixed Integer Linear Programming)を完全に包含するより広いクラスの最適化問題としてTobias Achterbergによって提案された．CIP は問題記述能力の極めて高い最適化問題である．SCIP(Solving Constraint Integer Programs) は，CIPを解くために開発された．SCIPはCIPとして記述できる全ての最適化問題が解けるわけではない．しかし，SCIPは必要になった新たな制約式のクラスを扱うことができるように，必要に応じてplug-inを追加することで拡張が可能なソフトウェア・フレームワークである.　本講演では，SCIPを紹介するとともに，その並列化に関して紹介したい．

※ 通常とは曜日, 時間, 会場が異なりますのでご注意ください.