文献

J-GLOBAL ID：201302244889680947   整理番号：13A1120479

正方形詰込み問題の制約モデルとSAT符号化を用いた解法

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

シソーラス用語： *充足可能性問題 ,  符号化 ,  *計算量 ,  性能評価 ,  応用プログラム ,  命題論理 ,  プランニング【AI】 ,  スケジューリング ,  電子回路 ,  パッキング問題 ,  ソルバ
準シソーラス用語： 詰込問題 ,  充足可能性問題符号化

分類 (2件)： 論理代数  (JB03000H) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： 正方形 ,  問題 ,  制約 ,  モデル ,  SAT符号化 ,  解法