W5. Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS, Joint CP/ICAPS 2007 workshop)

List of Papers


Miguel A. Salido, Universidad Politecnica de Valencia, Spain
Antonio Garrido, Universidad Politecnica de Valencia, Spain
Roman Barták, Charles University, Czech Republic


The areas of AI planning and scheduling have seen important advances thanks to the constraint satisfaction techniques. Now, many important real-world problems require dealing with efficient constraint techniques for planning, scheduling and resource allocation to competing goal activities over time in the presence of complex state-dependent constraints. Therefore, solutions to these problems must integrate resource allocation and plan synthesis capabilities. Basically, we need to manage complex problems where planning, scheduling and constraint satisfaction must be interrelated, which entail a great potential of application.

The workshop therefore aims at providing a platform for meeting and exchanging ideas and novel works in the field of AI planning, scheduling, constraint satisfaction techniques, and many other common areas that exist among them. In fact, most of the received works are based on combined approaches of constraint satisfaction for planning, scheduling and mixing planning and scheduling. The workshop will be held in September, 2007 in Providence (USA) as a joint workshop for both International Conference on Principles and Practice of Constraint Programming (CP'2007) and International Conference on Automated Planning & Scheduling (ICAPS'07).

All the submissions were reviewed by two anonymous referees from the program committee, who decided to accept 11 papers for oral presentation in the workshop. The papers provide a good mix of constraint satisfaction techniques for planning, scheduling, related topics and their applications to real-world problems. We hope that the ideas and approaches presented in the papers and presentations will lead to a valuable discussion and will inspire future research and developments in all the workshop participants.

The Organizing Committee.
August, 2007

  • Miguel A. Salido
  • Antonio Garrido
  • Roman Bartak


Federico Barber, Universidad Politécnica de Valencia, Spain

Roman Bartak, Charles University, Czech Republic

Chris Beck, University of Toronto, Canada

Daniel Borrajo, Universidad Carlos III, Spain

Luis Castillo, Universidad de Granada, Spain

Amedeo Cesta, ISTC-CNR, Italy

Minh Binh Do, Parc, USA

Antonio Garrido, Universidad Politécnica de Valencia, Spain

Hector Geffner, Universidad Pompeu Fabra, Spain

Enrico Giunchiglia, Università di Genova, Italy

Peter Jarvis, NASA Ames Research Center, USA

Inês Lynce. Universidade Técnica de Lisboa, Portugal

Derek Long, University of Strathclyde, UK

Pedro Meseguer, IIIA-CSIC, Spain

Alexander Nareyek, National University of Singapore, Singapore

Eva Onaindía, Universidad Politécnica de Valencia, Spain

Francesca Rossi, University of Padova, Italy

Miguel A. Salido, Universidad Politécnica de Valencia, Spain

Pascal Van Hentenryck, Brown University, USA

Gérard Verfaillie, ONERA, Centre de Toulouse, France

Vincent Vidal, CRIL-IUT, France

Dimitris Vrakas, Aristotle University of Thessaloniki, Greece

Toby Walsh , UNSW, Sydney and NICTA, Australia

List of Papers

Montserrat Abril, Miguel A. Salido, Federico Barber

Camille Besse, B. Chaib-draa

Strong, Weak, and Dynamic Consistency in Fuzzy Conditional Temporal Problems
M. Falda, F. Rossi, K. B. Venable

Antonio Garrido, Eva Onaindía, Oscar Sapena

András Kovács, J. Christopher Beck

Iterative Improvement Strategies for Multi-Capacity Scheduling Problems
Angelo Oddi, Amedeo Cesta, Nicola Policella, Stephen F. Smith

Laurent Perron, Paul Shaw, Didier Vidal

Miguel A. Salido

Oscar Sapena, Eva Onaindía, Antonio Garrido, Marlene Arangu

J. Renze Steenhuisen, Cees Witteveen

Gérard Verfaillie, Cédric Pralet, Michel Lemaître

Ome © Marjorie Mikasen 2005