文献

J-GLOBAL ID：200902077812912920   整理番号：92A0759784

命題論理充足可能性問題に対する定量的アプローチと記号的アプローチの比較

On Quantitative Approach and Symbolic Approach for SAT.

著者 (4件)： 大柳俊夫 (北大) ,  山本雅人 (北大) ,  栗原正仁 (北大) ,  大内東 (北大)
資料名： 情報処理学会全国大会講演論文集
巻： 45th  号： 3  ページ： 3.37-3.38  発行年： 1992年09月 
JST資料番号： S0731A  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 命題論理の充足可能性問題(SAT)への定量的アプローチの1つ...

シソーラス用語： 人工知能 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=92A0759784&from=J-GLOBAL&jstjournalNo=S0731A") }}

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 命題論理 ,  充足可能性問題 ,  定量 ,  記号