キーワード : 問題分割法


命題論理の仮説推論に対する問題分割法の実行時間予測
木村 春彦 出山 敦祥 広瀬 貞樹 広林 茂樹 
誌名:   電子情報通信学会論文誌 A
発行日: 1998/09/25
Vol. J81-A  No. 9 ; pp. 1297-1301
論文種別:  レター
専門分野: 
キーワード: 
問題分割法問題分割表現AND/ORグラフ実行時間予測
 あらまし | 本文:PDF(309.8KB)