DPLL型SATソルバを用いた極小モデル生成について
スポンサーリンク
概要
著者
-
鹿田 憲秀
九州大学大学院システム情報科学府
-
谷口 清則
九州大学大学院システム情報科学府
-
Hasegawa Ryuzo
Ntt Software Laboratories
-
Hasegawa Ryuzo
Kyushu Univ. Fukuoka‐shi Jpn
-
長谷川 隆三
Kyushu University
関連論文
- モデル列挙とモデル計数(最近のSAT技術の発展)
- ODPを利用したユーザプロファイルを用いた個人化検索システム(情報検索)
- 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
- 2C-6 Blogデータのクラスタリングと分析(コンテンツ推薦,一般セッション,データベースとメディア)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web情報検索,データ工学論文)
- F-039 モデル生成法を用いた極小モデル生成(人工知能・ゲーム,一般論文)
- モデル生成型定理証明と要素技術(論理と推論技術の展開)
- Wikipediaへの関連単語抽出アルゴリズムの適用とその評価(Wikipedia)
- 関連単語抽出アルゴリズムを用いたWeb検索クエリの生成(Web解析・検索クエリ)
- 1V-6 変数のアクティビティ情報を共有するマルチスレッドSATソルバ(学習・推論,学生セッション,人工知能と認知科学)