第10回 CSPSAT研究会

Last updated at Time-stamp: <2012-03-25 03:55:48 banbara>

開催情報

日時:2011年8月17日(水) 〜 19日(金)
用務先 九州大学西新プラザ「中会議室」 (会場へのアクセス)
用務地:〒814-0002 福岡市早良区西新2-16-23
主催:九州大学 システム情報科学研究院 長谷川研究室・横尾研究室

ホテル選びのポイント

プログラム

8月17日(水)

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 〜 会食

8月18日(木)

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 今後の方針についての議論 (小会議室)
  • 次年度の申請について
  • 第11回CSPSAT研究会の開催日について
19:00 〜 会食

8月19日(金)

10:00 〜 12:00 研究発表
QMaxSAT version 0.11 & 0.4 [PDF] [PPTX]
越村 三幸
12:00 〜 12:30 まとめ,閉会

参加者 (28名)

神戸大
田村直之,平山勝敏,番原睦則,丹生智也,波多野大督,下牧昌太郎
NII,総研大
井上克巳,細部博史,宋剛秀,Gauvain Bourgne
山梨大
岩沼宏治,鍋島英知,山本泰生,福田寿志(a)
九州大
長谷川隆三,横尾真(a),藤田博,越村三幸, 沖本天太(b),明石裕子(c) 安宣烨(c),安本猛(c), 佐々木佑介(c)
早稲田大
上田和紀,山根裕二,清水悠一,松本翔太
徳山高専
力規晃

備考:(a) 17日のみ会食参加,(b) 18日のみ会食参加,(c) 会食不参加,(d) 会食参加は未確定

会食

8月17日(水) 19:00 〜

お店オークラビアガーデン2011
092-262-1111(代)
〒812-0027 福岡県福岡市博多区下川端町3-2 博多リバレイン
地下鉄「中洲川端」駅直結 (川端口の改札を出て6番出口)

8月18日(木) 19:00 〜

お店釣船茶屋 ざうお 天神店
092-716-9988
〒810-0072 福岡県福岡市中央区長浜1-4-15
西新プラザから無料送迎バスを利用 (西新プラザ → お店 → 天神)

その他