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

再構成可能なハードウェアを用いた充足可能性問題の解法
須山　敬之 横尾　真 澤田　宏 名古屋　彰 
誌名:   電子情報通信学会論文誌 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)