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

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

The following program will be able to changed, depending on the progress of the meeting:

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

In case that there is a document to hand out to the participants, please send the pdf file as well as the number of sets to me (yyamamoto at yamanashi.ac.jp) in advance. We will take the copies to the hotel.
We will provide a wireless LAN at the meeting room.
After the meeting, your presentation slide will be opened through this web site authenticated by a private key.

Yoshitaka Yamamoto: (Email) yyamamoto at yamanashi.ac.jp