キーワード : クラスNP


排他的論理和を含む論理式に対する充足可能性問題
萩原 斉 中森 眞理雄 
誌名:   電子情報通信学会論文誌 A
発行日: 1997/01/25
Vol. J80-A  No. 1 ; pp. 302-304
論文種別:  レター
専門分野: 
キーワード: 
論理式充足可能性問題排他的論理和多項式オーダNP完全クラスNP
 あらまし | 本文:PDF(198.7KB)

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