参考文献

Balas 80

Balas E. and Martin C.: Pivot and Complement -- A Heuristic for 0-1 Programming, Management Science, 26, pp.86-96 (1980)

石塚 96

石塚 満: ``知識の表現と高速推論,第6章'', 丸善 (1996)

石塚 94

石塚 満: 仮説推論の計算量と高速化メカニズム, 人工知能学会誌, vol.9, no.3, pp.342-349 (1994)

Kondo 96

A. Kondo, M. Ishizuka: Efficient Inference Method for Computing an Optimal Solution in Predicate-logic Hypothetical Reasoning, Knowledge-Based Systems, vol.9, pp.163-171 (1996)

大澤 95a

大澤 幸生: 改良型ネットワーク化バブル伝播法による低次多項式時間仮説推論法, 人工知能学会誌, vol.10, no.1, pp.123-130 (1995)

大澤 95b

大澤 幸生: 多項式時間仮説推論を達成するネットワーク化バブル伝播法の述語 論理への拡張, 人工知能学会誌, vol.10, no.5, pp.731-740 (1995)

西尾 88

西尾 章治郎,楠見 雄規: 演繹データベースに置ける再帰的な問い合わせの評価法, 情報処理学会誌, vol.29, No.3, pp.240-255 (1988)