文献

J-GLOBAL ID：201202208931431037   整理番号：12A0936054

充足可能性ソルバを通した困難な環境における近最適協調的経路計画

Near Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving

著者 (2件)： SURYNEK Pavel (Charles Univ. Prague, CZE) ,  SURYNEK Pavel (Kobe Univ., JPN)
資料名： 人工知能学会全国大会論文集(CD-ROM)  (人工知能学会全国大会(CD-ROM))
巻： 26th  ページ： ROMBUNNO.1E3-OS-4-10  発行年： 2012年 
JST資料番号： X0580B  ISSN： 1347-9881  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

シソーラス用語： *充足可能性問題 ,  *経路探索 ,  *プランニング【AI】 ,  最適化手法 ,  協調制御 ,  作業時間 ,  不動点 ,  問題解決 ,  *探索問題
準シソーラス用語： メイクスパン ,  *経路計画 ,  SATソルバ

分類 (4件)： 論理代数  (JB03000H) ,  ネットワーク法  (KA03040X) ,  その他のオペレーションズリサーチの手法  (KA03070E) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (5件)： 充足可能性 ,  ソルバ ,  環境 ,  協調 ,  経路計画