Published: 8th October 2009
DOI: 10.4204/EPTCS.5
ISSN: 2075-2180

EPTCS 5

Proceedings 6th International Workshop on
Local Search Techniques in Constraint Satisfaction
Lisbon, Portugal, 20 September 2009

Edited by: Yves Deville and Christine Solnon

Preface
Yves Deville and Christine Solnon
A Local Search Modeling for Constrained Optimum Paths Problems (Extended Abstract)
Quang Dung Pham, Yves Deville and Pascal Van Hentenryck
5
Toward an automaton Constraint for Local Search
Jun He, Pierre Flener and Justin Pearson
13
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results
Farshid Hassani Bijarbooneh, Pierre Flener and Justin Pearson
27
On Improving Local Search for Unsatisfiability
David Pereira, Inês Lynce and Steven Prestwich
41
Integrating Conflict Driven Clause Learning to Local Search
Gilles Audenard, Jean-Marie Lagniez, Bertrand Mazure and Lakhdar Saïs
55
A Constraint-directed Local Search Approach to Nurse Rostering Problems
Fang He and Rong Qu
69
Sonet Network Design Problems
Marie Pelleau, Pascal Van Hentenryck and Charlotte Truchet
81
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
Salvator Abreu, Daniel Diaz and Philippe Codognet
97

Preface

LSCS is a satellite workshop of the international conference on principles and practice of Constraint Programming (CP), since 2004. It is devoted to local search techniques in constraint satisfaction, and focuses on all aspects of local search techniques, including: design and implementation of new algorithms, hybrid stochastic-systematic search, reactive search optimization, adaptive search, modeling for local-search, global constraints, flexibility and robustness, learning methods, and specific applications.

In 2009, there was five long presentations of 30 minutes, and three short presentations of 15 minutes. The workshop programme also included an invited talk by Thomas Stützle on Engineering Stochastic Local Search.

We thank all reviewers who provided valuable remarks on the submitted papers, and CP organisers for their material support.

September 2009

Yves Deville and Christine Solnon

Program Committee

Additional reviewers: Elaine Sonderegger, Viet Ho Trong