SATソルバーの基礎(<特集>最近のSAT技術の発展)

スポンサーリンク

概要

• 論文の詳細を見る
• 2010-01-01

著者

• 井上 克巳

  国立情報学研究所

• 田村 直之

  神戸大学

• 田村 直之

  神戸大学学術情報基盤センター

• 田村 直之

  神戸大 学術情報基盤セ

• 井上 克巳[他]

  国立情報学研究所

関連論文

• アブダクションとインダクション(論理に基づく推論研究の動向)
• 解集合プログラミング(論理に基づく推論研究の動向)
• SATによるシステム検証(最近のSAT技術の発展)
• 制約最適化問題とSAT符号化(最近のSAT技術の発展)
• SATソルバーの基礎(最近のSAT技術の発展)
• 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
• SATによるシステム検証
• 特集「最近のSAT技術の発展」にあたって
• 特集「論理に基づく推論研究の動向」にあたって
• 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
• アブダクションとインダクション
• SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
• 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 線形論理と論理プログラミング(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• 神戸大LISPマシンPROLOGマシン(特集知られざる計算機)
• 解集合プログラミング
• 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
• CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
• PrologからJavaへのトランスレータ処理系とその応用
• CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
• 極小限定を用いた帰納推論
• 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
• ペナルティ関数法によるSAWフィルタのロバスト最適設計
• 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
• CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
• メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
• 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
• CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
• メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
• ダイアグラムに基づく法的論争支援システム
• 日英機械翻訳システムTWINTRANの言語知識と翻訳品質の評価
• Text-Wide Grammarに基づくテキスト解析
• A^*法に従うアジェンダ制御による構文解析
• TWINTRAIN : integration of syntax, semantics and context analysis
• 遅延評価機構によるAND-ORグラフ上での優先度計算
• Semantic Processing on Parse Trees Represented in a Chart
• アフォーダンス理論による人工技能への接近 : 記憶と身体性
• 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
• 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
• シーケンシャル実行型PrologマシンPEK : ハードウェア構成
• Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
• Grid計算環境における2つの制約解消系の試験的実装について
• グリッド計算環境における制約解消システムの構築に向けて
• Grid 計算環境における2つの制約解消系の試験的実装について
• グリッド計算環境における制約解消システムの構築に向けて
• LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
• 時相線形論理型言語のコンパイラ処理系のための抽象機械について
• 線形論理型言語のコパイラ処理系のための抽象機械について
• 古典線形論理型プログラミング言語の静的解析の一手法について
• 直観主義時相線形論理における論理プログラミングについて
• 線形論理型言語のJava言語による処理系の設計と実装
• 論理型言語の最近の動向 (新世代のソフトウエア特集号)
• 整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
• SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
• JSIAIワークステーション(7) : Prologコンパイラの評価
• JSIAIワークステーション(6) : Prologコンパイラの最適化技法
• JSIAIワークステーション(5) : Prologコンパイラの概要と設計方針
• 1. プログラミング言語と環境 1.2 Prolongのプログラミング環境 (<大特集>新しいプログラミング環境)
• フィールドを有するマルチエージェントシステム記述用言語
• フィールドの概念を備えたマルチエージェント記述用言語の設計と実装について
• Prologに基づくエージェントプログラムにおけるマイグレーションの実現
• Javaを用いた異種エージェント間での協調支援工ージェントの開発に関する研究
• ネットワーク環境におけるマルチエージェントシステム記述用言語
• 分散環境下におけるマルチエージェントシステム記述用言語
• 並列Prolog処理系"K-Prolog"の実現
• 大学におけるセキュリティポリシー導入の一事例
• 大学におけるインシデント対応の一事例
• 線形論理型言語のコンパイラ処理系でのリソース管理方式について
• タイプ2ファジィ集合の一部を扱えるFuzzy Prolog
• LF-001 Profit Sharingの学習の合理性に関する理論的考察(人工知能・ゲーム)
• ファジィ数の体系について(ファジィ数学) : 公理的アプローチ
• 「スーパーコンピュータとその利用技術」特集号の編集にあたって
• 制約条件に論理的ORを含む組合せ最適化問題に対するハイブリッド型最適化手法の実現(サイバー増大ページ論文概要,サイバー増大号)
• CF帰納法における一般化に関する考察
• エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
• タブローに基づく論理的帰結発見手続きSOL
• 知的生産のための新しいツ-ルの現状と展望 (知的生産のための新しいツ-ル特集号)
• アクション言語Aにおける行動規則の学習
• 非決定性アクション言語NA上のプランニング手続き
• 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
• ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
• 補題の利用による効率的なSOL導出の実現
• アクション言語Aにおける行動規則の学習
• Compiling Finite Linear CSP into SAT
• プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
• ＳＡＴ符号化を用いた釣合い型不完備ブロック計画の構成
• 「SATソルバー」(私のブックマーク)
• モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
• SATによるシステム検証
• O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
• ソフトウェア紹介 直観主義線形論理型言語LLPとそのコンパイラ処理系
• 多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
• 分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
• N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)

もっと見る 閉じる

スポンサーリンク