文献

J-GLOBAL ID：201402268117632487   整理番号：14A0800690

登録後コース時間割問題の基数制約を用いた制約モデルとSATソルバーを用いた解法

著者 (4件)： 佐古田淳史 (神戸大 大学院システム情報学研究科) ,  宋剛秀 (神戸大 情報基盤セ) ,  番原睦則 (神戸大 情報基盤セ) ,  田村直之 (神戸大 情報基盤セ)
資料名： 人工知能学会全国大会論文集(CD-ROM)  (人工知能学会全国大会(CD-ROM))
巻： 28th  ページ： ROMBUNNO.1D5-OS-11B-7  発行年： 2014年 
JST資料番号： X0580B  ISSN： 1347-9881  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *充足可能性問題 ,  *計算量 ,  *スケジューリング ,  スケジュール ,  カリキュラム ,  制約条件 ,  応用プログラム ,  高速度 ,  符号化 ,  二分探索 ,  基数
準シソーラス用語： コース管理システム ,  教育コース ,  高速ソルバ ,  時間割

分類 (3件)： 論理代数  (JB03000H) ,  計算理論  (JB02000A) ,  工程管理  (KB03030P)

タイトルに関連する用語 (8件)： 時間割 ,  問題 ,  基数 ,  制約 ,  モデル ,  SAT ,  ソルバー ,  解法