CSPSAT2 |
09:30 - 10:00 | Opening -- Project Introductions 10 min x 3 |
CSPSAT2 Project
[PDF]
Naoyuki Tamura |
|
NII Collaborative Research Project: Research on Constraint Answer Set Programming Using SAT Techniques [PDF] Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura, Takehide Soh and *Tomoya Tanjo |
|
NII Collaborative Research Project: Consequence Finding and SAT/MaxSAT Solving in a Distributed Environment [PDF] [PPTX] Katsutoshi Hirayama |
|
10:15 - 11:45 | Technical Presentations 30 min. x 3 |
ASP Modules for Agent Reasoning in Dynamic Environment
[PDF]
Tony Ribeiro and Katsumi Inoue |
|
On Dynamic ASP-based Multi-agent Systems
[PDF]
[ODP]
Newfel Messouci and Katsumi Inoue |
|
Finding Minimal Generalization for Conjunctive Queries
[PDF]
Pham Le Thi Anh Thu and Katsumi Inoue |
|
11:45 - 13:00 | Lunch |
13:00 - 15:00 | Technical Presentations 30 min. x 4 |
A Heuristic Search for Inverse Subsumption in Full Clausal Theories
[PDF]
Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma |
|
Merging Qualitative Constraint Networks
[PDF]
Jean-François Condotta, Souhila Kaci, Pierre Marquis, and *Nicolas Schwind |
|
Constraint Satisfaction for Bayesian Networks
[PDF]
[PPT]
Hei Chan and Adnan Darwiche
|
|
Algorithms for MO-COP/DCOP
[PDF]
[PPTX]
Tenda Okimoto, Yongjoon Joe, Toshihiro Matsui, Katsutoshi Hirayama, Atsushi Iwasaki and Makoto Yokoo |
|
15:00 - 15:30 | coffee break |
15:30 - 17:00 | Technical Presentations (in Japanese) 30 min. x 2 |
Constructing Packing Arrays by SAT Encoding
[PDF]
Haruki Noritake, Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue |
|
Curriculum based Course Timetabling Problems into Pseudo-Boolean Optimization Problems
[PDF]
Mina Suzue, Naoyuki Tamura, Mutsunori Banbara, Takehide Soh, and Itsuo Hatono |
|
19:00 - | Dinner |
09:00 - 10:00 | Technical Presentations (in Japanese) 30 min. x 2 |
Asynchronous Backtracking Algorithm for the Clause-set Partitioned Distributed SAT
[PDF]
[PPTX]
Shotaro Shimomaki and Katsutoshi Hirayama |
|
GlueMiniSat 2.2.6: Restart Heuristics for Accelerating Conflicts
[PDF]
Hidetomo Nabeshima |
|
10:15 - 12:15 | Discussion |
|
From Tokyo Station (about 240 min. and 17,290 yen)
Tokyo St.
| (Shinkansen-Nozomi about 220 min.)
Fukuyama St.
| (Shinkansen-Kodama about 20 min.)
Shin-Onomichi St.
From Shin-Kobe Station (about 70 min. and 7,650 yen)
Shin-Kobe St.
| (Shinkansen-Nozomi about 50 min.)
Fukuyama St.
| (Shinkansen-Kodama about 20 min.)
Shin-Onomichi St.
From Hakata Station (about 120 min. and 10,580 yen)
Hakata St.
| (Shinkansen-Nozomi about 70 min.)
Hiroshima St.
| (Shinkansen-Kodama about 40 min.)
Shin-Onomichi St.
Please take a taxi from the south exit of Shin-Onomichi Station.
It will take more 10 min. and cost 1,000 yen.
Until 5:15 p.m., there is another way of using ropeway from Onomichi St. but it is inconvenient.
Please refer the following web sites for more details.
Access to the Shin-Onomichi Station
Access to the Senkoji-sanso (in Japanese)