The 5th Meeting on CSP and SAT

Last updated on 2009/11/19

General Information

DATE : 2009/11/30 (Monday) -- 2009/12/02 (Wednesday)
VENUE : The Lakeland hotel MIZUNOSATO (Web site)
ADDRESS : 1070 Kodachi Kawaguchiko-cho Minamitsuru-gun Yamanashi 401-0302, Japan.
PHONE : 0555-72-1831

Participants

Ecole des Mines de Nantes/LINA, France
Narendra Jussien
Bristol University, England
Oliver Ray
Kobe University, Japan
Naoyuki Tamura, Katsutoshi Hirayama, Mutsunori Banbara, Tomoya Tanjo
National Institute of Informatics, The Graduate University for Advanced Studies, Japan
Katsumi Inoue, Gauvain Bourgne, Takehide Soh
Kyushu University, Japan
Ryuzo Hasegawa, Makoto Yokoo, Miyuki Koshimura, Zhang XueFeng, Tooru Nakamura, Li Jiefu, Zhang Tong, Takeshi Yasumoto, Akihiro Yano
Tokuyama College of Technology, Japan
Chikara Noriaki
University of Yamanashi, Japan
Koji Iwanuma, Hedetomo Nabeshima, Yoshitaka Yamamoto

Programme Overview

November 30th (Monday)

15:00 - 15:30 Opening
15:30 - 17:00 Session 1
A SAT-based method for analyzing pathways [PDF]
○Soh Takehide and Katsumi Inoue
Logic-based methods for metabolic network inference [PDF]
○Oliver Ray
18:30 - 19:30 Dinner

December 1st (Tuesday)

09:30 - 10:45 Invited talk
Constraint programming: introduction and current threads [PDF]
Narendra Jussien
10:45 - 11:00 Break
11:00 - 12:00 Session 2
Short report on the results of the Fourth International Constraint Solver Competition [PDF]
○Naoyuki Tamura, Tomoya Tanjo, and Mutsunori Banbara
12:00 - 13:00 Lunch
13:00 - 14:30 Session 3
Experimental analysis of bounds propagations in compact order encoding
○Tomoya Tanjo, Naoyuki Tamura, and Mutsunori Banbara
Coalition structure generation based on distributed constraint optimization [PDF] [PPT]
Suguru Ueda, Atsushi Iwasaki, and ○Makoto Yokoo
14:30 - 15:00 Break
15:00 - 16:30 Session 4
Proactive solution for a sequence of SAT with decision change costs [PDF] [PPTX]
Yuuta Suzimoto and ○Katsutoshi Hirayama
Minimal model generation with MGTP and DPLL [PDF] [PPTX]
○Ryuzo Hasegawa
18:30 - 19:30 Dinner

December 2nd (Wednesday)

09:30 - 11:00 Session 5
Diagnosis with distributed theory and observations using SOLAR [PDF]
○Gauvain Bourgne
Non-monotonic dualization with enumeration of the minimal hitting sets [PDF]
○Yoshitaka Yamamoto, Koji Iwanuma, and Katsumi Inoue
11:00 - 12:00 Discussion and Closing

Other Information

Contact