第6回 CSPSAT研究会

最終更新日：2010年3月31日

開催情報

日時：2010年3月28日(日) 〜 3月30日(火)
用務先： 鹿児島県市町村自治会館 会議室 (会場へのアクセス)
用務地：〒890-0064 鹿児島市鴨池新町7番4号(県庁前)

参加者 (28名，順不同・敬称略)

神戸大
田村直之，平山勝敏，番原睦則，丹生智也，清水慎一，本條健吾，松中春樹，波多野大督，谷口賀則
NII，総研大
井上克巳，宋剛秀，Gauvain Bourgne，Matej Holec
山梨大
岩沼宏治(3/29-30)，鍋島英知，三澤隆造，金澤潤二
九州大
長谷川隆三，横尾真，藤田博，越村三幸，張雪峰，張彤，安宣烨，矢野明浩
徳山高専
力規晃
Ecole des Mines de Nantes/LINA, France
Narendra Jussien and his wife

プログラム

3月28日(日)

15:00 〜 17:00 研究発表 (English Session)
Choco, an open source constraint solver [PDF]
Narendra Jussien
Towards a Compact and Efficient SAT Encoding of Finite Linear CSP [PDF]
Tomoya Tanjo, Naoyuki Tamura, and Mutsunori Banbara
18:30 〜 夕食

3月29日(月)

09:00 〜 11:30 研究発表 (English Session)
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation [PDF]
Takehide Soh and Katsumi Inoue
Abduction of Distributed Theories through Local Interactions [PDF] [PPT]
Gauvain Bourgne and Katsumi Inoue
Cross-Genome Expression Data Modelling with Machine Learning [PDF]
Matej Holec, Filip Zelezny and Jiri Klema
11:30 〜 13:00 昼食・休憩
13:00 〜 14:30 研究発表
SAT符号化を用いた組合せテスト生成に関する研究 [PDF]
松中春樹，番原睦則，田村直之
制約充足問題から擬似ブール制約への符号化に関する研究 [PDF]
本條健吾，丹生智也，番原睦則，田村直之
整数線形制約から PB 制約への Unary 表現に基づく符号化 [PDF] [PPTX]
三澤 隆造，鍋島 英知
14:30 〜 15:00 休憩
15:00 〜 16:30 研究発表
共通記号を持つ複数の背景理論の結合決定手続きの効率化について [PDF]
岩沼宏治
変数選択順序の制御によるSATソルバーの高速化に関する研究 [PDF]
清水慎一，番原睦則，田村直之
シンメトリー情報に基づく多分岐探索技術の最新 SAT ソルバへの導入と自動化へ向けての検討 [PDF] [PPTX]
金澤 潤二，鍋島 英知
16:30 〜 17:00 2009年度業績の取りまとめについての議論
18:30 〜 夕食

3月30日(火)

09:00 〜 10:30 研究発表
極小モデル生成器 Mini-MG の試作 [PDF] [PPT]
矢野明浩
MiniSatの前処理と抽象モデル生成による前処理について [PDF] [PPTX]
越村三幸
基数制約を用いたMaxSatソルバーの試作 [PDF] [PPTX]
張彤，越村三幸
10:30 〜 11:30 今後の方針についての議論
11:30 〜 12:00 まとめ，閉会

その他