キーワード : 充足可能性問題


再構成可能なハードウェアを用いた充足可能性問題の解法
須山 敬之 横尾 真 澤田 宏 名古屋 彰 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/04/01
Vol. J84-D1  No. 4 ; pp. 410-420
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
充足可能性問題リコンフィギャラブルコンピューティングFPGA論理合成制約充足問題
 あらまし | 本文:PDF(864.4KB)

多次元直方体被覆問題および充足可能性問題を解くアルゴリズム
鈴木 晋 茨木 俊秀 
誌名:   電子情報通信学会論文誌 D
発行日: 1997/07/25
Vol. J80-D1  No. 7 ; pp. 591-604
論文種別:  論文
専門分野: アルゴリズム,計算複雑性
キーワード: 
アルゴリズム計算複雑性NP完全多次元直方体被覆問題充足可能性問題
 あらまし | 本文:PDF(1016.9KB)

部分例示に基づく定理自動証明
山本 雅人 大柳 俊夫 大内 東 
誌名:   電子情報通信学会論文誌 A
発行日: 1995/07/25
Vol. J78-A  No. 7 ; pp. 864-871
論文種別:  論文
専門分野: 人工知能,知識処理基礎
キーワード: 
部分例示充足可能性問題定理自動証明導出原理Davis-Putnamの方法
 あらまし | 本文:PDF(502.6KB)

部分例示手法に基づく充足可能性判定手続き
山本 雅人 大柳 俊夫 大内 東 
誌名:   電子情報通信学会論文誌 A
発行日: 1994/11/25
Vol. J77-A  No. 11 ; pp. 1577-1584
論文種別:  論文
専門分野: 教育工学,人間工学,医用生体工学
キーワード: 
部分例示充足可能性問題定理自動証明導出原理Davis-Putnamの方法
 あらまし | 本文:PDF(542.2KB)