Mitchell, D. G., Selman, B. and Levesque, H. J. : Hard and easy distributions of SAT problems. In Proc. AAAI-92, pp.459-465 (1992).

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 1993-07-01

著者

• 新保 仁

  京都大学総合情報メディアセンター:(現)茨城大学工学部情報学科

• 新保 仁

  茨城大学 工学部 情報工学科

• 新保 仁

  京都大学工学部

関連論文

• Moving-Target Searchの完全性 : 評価関数が一貫性を欠く場合
• 実時間探索の収束性について
• Moving-Target Searchの完全性 : 評価関数が非適格な場合
• Moving-Target Searchの完全性: 評価関数が非適格な場合
• 実時間探索による経路学習
• 重み付き実時間探索
• 非標準的なヒューリスティック評価関数を用いた実時間探索法
• Mitchell, D. G., Selman, B. and Levesque, H. J. : Hard and easy distributions of SAT problems. In Proc. AAAI-92, pp.459-465 (1992).

スポンサーリンク