Parallel Methods for Constraint Solving and Combinatorial Optimization


Shonan Meeting Seminar014


  • Philippe Codognet, JFLI – CNRS/UPMC/University of Tokyo, Japan
  • Kazunori Ueda, Waseda University, Japan
  • Hiroshi Hosobe, National Institute of Informatics, Japan


  • Salvador Abreu, University of Evora, Portugal
  • Kento Aida, National Institute of Informatics, Japan
  • Alejandro Arbalaez, University of Tokyo, Japan
  • Jean-Francois Baffier, University of Tokyo, Japan
  • Yves Caniou, University of Lyon, France
  • Bart Demoen, University of Leuven, Belgium
  • Alex Fukunaga, University of Tokyo, Japan
  • Hiroyuki Higuchi, Fujitsu Laboratories, Atsugi, Japan
  • Katsumi Inoue, National Institute of Informatics, Japan
  • Joxan Jaffar, National University, Singapore
  • Arnaud Lallouet, University of Caen, France
  • Jimmy Lee, Chinese University, Hong Kong
  • Rui Màrio da Silva Machado, Fraunhofer ITWM, Germany
  • Luis Quesada, University College, Cork, Ireland
  • Florian Richoux, JFLI/University of Tokyo, Japan
  • Vijay Saraswat, IBM T.J. Watson Research Lab, USA
  • Ken Satoh, National Institute of Informatics, Japan
  • Yosuke Sato, Tokyo University of Science, Japan
  • Meinolf Sellman, IBM T.J. Watson Research Lab, USA
  • Takehide Soh, Kobe University, Japan
  • Guido Tack, University Leuven, Belgium
  • Tomoya Tanjo, Transdisciplinary Research Integration Center, Japan
  • Charlotte Truchet, University of Nantes, France
  • Takeaki Uno, National Institute of Informatics, Japan
  • Roland Yap, National University, Singapore


All the technical sessions take place in Research Wing.

May 27th (Sunday)

15:00 ? Hotel Check In (early check-in from 12:00 is negotiable if informed in advance)
19:00 ? 21:00: Welcome Reception (Room “Azalea”, 1F)

May 28th (Monday)

7:30 ? 9:00: Breakfast (Oak room)
9:45 ? 10:00: Welcome and Introduction
10:00 ? 12:00: General discussion, organization of the sessions
12:00 ? 13:30: Lunch (Oak room)
13:30 ? 18:00: Afternoon Session

18:00 ? 19:30: Dinner (Oak room)
19:30 ? Free Time

May 29th (Tuesday)

7:30 ? 9:00: Breakfast (Oak room)
9:00 ? 12:00: Morning Session

12:00 ? 13:30: Lunch (Oak room)
13:30 ? 18:00: Excursion (Tokenji Temple and Engakuji Temple ?in North Kamakura)
18:00 ? 20:00: Banquet (Restaurant Hachinoki in North Kamakura)

May 30th (Wednesday)

7:30 ? 9:00: Breakfast (Oak room)
9:00 ? 12:00: Morning Session (Group Photo at 10:00)

12:00 ? 13:30: Lunch (Oak room)
13:30 ? 18:00: Afternoon Session

18:00 ? 19:30: Dinner (Oak room)
19:30 ? Free Time

May 31st? (Thursday)

7:30 ? 9:00: Breakfast (Oak room)
9:00 ? 10:00: Hotel Check Out
10:00 ? 12:00: Wrap-up session & Closing
12:00 ? 13:30: Lunch (Oak room)

Talk Abstracts

A draft of the meeting report including the talk abstracts is available here.


In the last decade, with the development of multi-core workstations, the availability of
GPGPU-enhanced systems and the access to Grid platforms and supercomputers worldwide, Parallel Programming reached mainstream programming and appeared as a key issue in order to use in an efficient manner the computing power at hand.
Search methods and combinatorial optimization techniques are not isolated from this phenomenon, as bigger computing power means the ability to attack more complex combinatorial problems.
In the last years some experiments have been done to extend to parallel execution search methods such as Constraint Programming or SAT solving (Boolean satisfiability), and combinatorial optimization methods such as Local Search, Meta-heuristics and Brand & Bound. However these works have mostly been done for shared memory multi-core systems (i.e. with a few cores) or for small PC clusters (a few machines).
The next challenge is to devise efficient techniques and algorithms for massively parallel computers with tens or hundreds of thousands of cores in the form of heterogeneous hybrid systems based on both multi-core processors and GPUs.
We would like to provide a cross-community forum for researchers working on search methods (Constraint Solving, Artificial Intelligence, Logic Programming, SAT solving,
etc.), combinatorial optimization methods (metaheuristics, local search, tabu search, evolutionary algorithms, ant colony optimization, particle swarm optimization, memetic algorithms, and other types of algorithms) and High Performance Computing (Grids, large PC clusters, massively parallel computers, GPGPUs) in order to tackle the challenge of efficient implementations on all kinds of parallel hardware: multi-core, GPU-based or heterogeneous massively parallel systems.

This meeting is designed to be a forum for researchers willing to tackle those issues, in order to exchange ideas, theoretical frameworks, design of algorithms and methods, implementation issues, experimental results and further boost this growing area through cross-fertilization.


We have set up a simple wiki page where participants may announce their arrival/departure flight and time and arrange to share transportation to/from Shonan together.

The travel info. below are provided by the courtesy of Naoki Kobayashi, originally prepared for the NII Seminar on Automated Techniques for Higher-Order Program Verification.

Access to Shonan Village

See Shonan Village Home Page.

There are several routes from Tokyo area or Narita airport. In general, first move by a train to either Zushi (JR) or Shin-Zushi (Keikyu), and then take a bus or a taxi. For foreigners, we would recommend sharing a taxi from Zushi or Shin-Zushi. The train route/schedule can be searched by using the train route finder below.

Train Schedule Search (not for reservation)

  • Jordan Train Route Finder.
    For destination, enter “Zushi” or “Shin-Zushi”. As Tokyo area is served by several companies, you will see several choices. Please pick one that seems most convenient. An optimal route depends on the departure time.
  • Narita Airport Access Planner. You can search a train schedule from/to Narita Airport.

Recommended routes from Tokyo/Airports to Zushi

Note: The following may not be the best route, depending on the time of departure.

  • From Tokyo Narita Airport.
    Take JR Narita Express to go to “Ofuna” or “Yokohama”, and then take JR Yokosuka Line to Zushi.
  • From Tokyo Haneda Airport.
    Take Keikyu Haneda Airport Line. Change at Keikyu Kamata station to Keikyu Line, and then change at Kanazawa-Hakkei to Keikyu Zushi Line and get off at Shin-Zushi terminal.
  • From Tokyo
    Go to Tokyo station? and then take JR Yokosuka Line to Zushi.
    or Go to Shibuya station or Shinjuku Station, and then take JR Shonan-Shinjuku Line.

From Zushi or Shin-Zushi to Shonan Village Center

Please take a bus (which leaves once in an hour or half an hour, and takes 30 min from Zushi to Shonan Village Center) or a taxi, which costs 2,500 ? 3,000 yen and takes about 20 min.
As a bus driver is not likely to speak English, we recommend sharing a taxi (or finding a company who speaks Japanese, to take a bus). Here are some Japanese messages to show to a taxi driver.
Bus Time Table
Other Links on Travel Information: