キーワード : 充足可能性


基本対称関数に基づく節をもつCNF論理式の充足可能性判定
馬野 洋平 酒井 正彦 西田 直樹 坂部 俊樹 草刈 圭一朗 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/01/01
Vol. J93-D  No. 1 ; pp. 1-9
論文種別:  論文
専門分野: 計算論,計算モデル
キーワード: 
SATソルバ充足可能性基本対称関数高速化
 あらまし | 本文:PDF(383KB)

論理式充足可能性問題の双線形計画問題としての記述―標準形の場合―
萩原 斉 中森 眞理雄 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/07/25
Vol. J77-D1  No. 7 ; pp. 525-527
論文種別:  レター
専門分野: 
キーワード: 
充足可能性整数計画双線形計画計算複雑度クラスNP
 あらまし | 本文:PDF(163.3KB)