06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館／第四研修室(72))
| 演題番号 | 1E3-OS-4-9 |
|---|---|
| 題目 | 節集合分割型分散SATに対する非同期バックトラッキングアルゴリズム |
| 著者 | 下牧 昌太郎(神戸大学大学院海事科学研究科) 平山 勝敏(神戸大学大学院海事科学研究科) |
| 時間 | 06月12日(Tue) 18:30〜18:50 |
| 概要 | 節集合分割型分散SATとは、一部の命題変数を共有するCNF論理式群が複数のエージェントに分散されたSAT問題である。本研究では、この問題を解く非同期バックトラッキングアルゴリズムを提案する。その主な特徴は、エージェントが任意のSATソルバーを利用でき、また、単位伝播を用いた矛盾解析により非同期並行に学習節を発見する点である。本論文では、いくつかのベンチマーク問題例での性能評価結果を報告する。 |
| 論文 | PDFファイル |