14:00 〜 15:00 | 依頼講演 |
Theory and Solution of Constraint Hierarchies
[PDF]
[PPTX]
Hiroshi Hosobe |
|
15:00 〜 15:30 | 研究発表 |
Decomposition of Clausal Theories for Consequence Finding — An Experimental Analysis
[PDF]
[PPTX]
Gauvain Bourgne |
|
15:30 〜 16:00 | 休憩 |
16:00 〜 18:00 | 研究発表 |
Relating Boolean Networks to Logic Programming (and SAT)
[PDF]
[PPT]
Katsumi Inoue |
|
インクリメンタルSAT解法の最適化問題と列挙問題への適用に関する研究
[PDF]
[PPTX]
宋 剛秀 |
|
19:00 〜 | 会食 |
10:00 〜 11:30 | 研究発表 |
基数制約に対応する並列SATソルバとその評価
[PDF]
山根 裕二,上田 和紀 |
|
ハイブリッド制約言語HydLaの実装
[PDF]
[PPT]
松本 翔太,清水 悠一,上田 和紀 |
|
OpenSMTの並列化
[PDF]
[PPT]
清水 悠一,松本 翔太,上田 和紀 |
|
11:30 〜 13:00 | 昼食 |
13:00 〜 14:30 | 研究発表 |
GlueMiniSat 2.2.5 — SAT 2011 Competition 成績報告
[PDF]
鍋島 英知 |
|
複雑な局所問題を伴うDCOPのための解法
[PDF]
[PPTX]
波多野 大督,平山 勝敏 |
|
多目的最適化問題における非厳密解法の提案
[PDF]
[PPTX]
沖本 天太 |
|
14:30 〜 15:00 | 休憩 |
15:00 〜 16:30 | 研究発表 |
節集合分割型分散SATに対する非同期バックトラッキングアルゴリズム
[PDF]
[PPTX]
下牧 昌太郎,平山 勝敏 |
|
Nelson-Oppen法を組み込んだSMTソルバの実装
[PDF]
福田 寿志,岩沼 宏治,山本 泰生 |
|
Forkを利用したSATソルバーの並列化 — セマフォによる負荷制御 —
[PDF]
[PPTX]
明石 裕子 |
|
16:30 〜 16:45 | 休憩 |
16:45 〜 18:00 | 今後の方針についての議論 (小会議室) |
|
|
19:00 〜 | 会食 |
10:00 〜 12:00 | 研究発表 |
QMaxSAT version 0.11 & 0.4
[PDF]
[PPTX]
越村 三幸 |
|
12:00 〜 12:30 | まとめ,閉会 |