制約プログラミングによる大規模計画システムの開発とその課題

摘要

本稿では，大規模な計画系システムの開発の基本的な取組み，制約プログラミングの概念とそのバックグランドを理解していただき，計画問題への応用が見通せるよう解説します．なお，本稿の制約プログラミングに関する解説部分は，私が開発に使用しているIBM社の制約プログラミング·パッケージ（ILOG SolverとILOG Scheduler）をベースに記述したチュートリアルに基づいていますが，今回はScheduler部分は取り上げていませhので，興味のある方は，この文献1），マニュアルを参照してください．制約プログラミングの理論的なバックグランド，他の制約プログラミング·パッケージに興味のある方は，文献4），5）のサーベイを参照してください．