文献

J-GLOBAL ID：201402275914447420   整理番号：14A0800689

SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用

著者 (5件)： 宋剛秀 (神戸大 情報基盤セ) ,  LE BERRE Daniel (Univ. d’Artois) ,  ROUSSEL Stephanie (Univ. d’Artois) ,  番原睦則 (神戸大 情報基盤セ) ,  田村直之 (神戸大 情報基盤セ)
資料名： 人工知能学会全国大会論文集(CD-ROM)  (人工知能学会全国大会(CD-ROM))
巻： 28th  ページ： ROMBUNNO.1D5-OS-11B-6IN  発行年： 2014年 
JST資料番号： X0580B  ISSN： 1347-9881  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： 応用プログラム ,  高速度 ,  *充足可能性問題 ,  *計算量 ,  符号化 ,  制約プログラミング ,  Hamilton閉路 ,  性能評価 ,  仮想機械システム ,  高速アルゴリズム ,  制約条件 ,  Boole関数
準シソーラス用語： Java仮想マシン ,  SAT符号化 ,  高速ソルバ

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

タイトルに関連する用語 (5件)： SAT ,  ソルバー ,  制約プログラミング ,  ハミルトン閉路 ,  応用