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 |
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 |
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 |