2H3 基礎・理論「探索2」

06月18日(Thu) 15:50～17:10 H会場(ホール棟6F-64室)
座長栗原聡（大阪大）
評者松井正一（電中研）

題目	2H3-1 制約充足／最適化テクニックを用いた会議プログラム自動作成ツール
著者	西村直史(九州大学) 大田直樹(九州大学) 櫻井祐子(ヤフー株式会社) 岩崎敦(九州大学) 横尾真(九州大学)
論文	PDFファイル

題目	2H3-2 CLPを用いたナース・スケジューリング問題における実用解の効率的探索
著者	西川理規(東京理科大学) 松井藤五郎(東京理科大学) 大和田勇人(東京理科大学理工学部経営工学科)
論文	PDFファイル

題目	2H3-3 Weighted Max SAT問題への変換を用いたフィードバックを含むパスウェイの解析
著者	宋剛秀(総合研究大学院大学) 井上克巳(国立情報学研究所)
論文	PDFファイル

題目	2H3-4 遺伝的アルゴリズムによるスケジューリング問題の最適化
著者	檀裕也(松山大学) 馬越喜己(松山大学)
論文	PDFファイル