Constraint Programming (CP) is a powerful technology to model and solve combinatorial (optimisation) problems, which are ubiquitous in industry. CP works either via systematic search based on constraint propagation (the elimination of impossible values), or via constraint-based local search. CP is an ideal integration technology for hybrid solving, including also methods from classical operations research, such as mixed integer programming, and Boolean satisfiability. CP is now a mature field and has been successfully used for tackling a wide range of real-life complex applications, especially for short-term scheduling, personnel rostering, and configuration problems.
This special issue is a follow-up to the International Workshop on Constraint Programming for Air Traffic Control & Management, held at the 7th EuroControl Innovative Research Workshop & Exhibition at the EuroControl Experimental Centre in Brétigny-sur-Orge, France on Tuesday 2 December 2008, and where the proceedings consisted only of the slides of the presentations given. The call for papers was not restricted to the participants of that workshop.
Note that EuroControl is the European Organisation for the Safety of Air Navigation, with 38 member states at present and headquarters in Brussels, Belgium.
| Letter of intent | 1 March 2009 |
| Submission | 1 May 2009 |
| Notification | 1 October 2009 |
| Camera-ready copy | 1 December 2009 |
| Publication | September 2012, volume 27, issue 3 |
| Cyril Allignol, Nicolas Barnier, Pierre Flener, and Justin Pearson | Constraint Programming for Air Traffic Management: A Survey |
| Nicolas Barnier and Cyril Allignol | Trajectory Deconfliction with Constraint Programming |
| Arnaud Gotlieb | TCAS Software Verification using Constraint Programming |
| David W. Hildum and Stephen F. Smith | Scheduling Safe Movement of Air Traffic in Crowded Air Spaces |
| Ulrich Junker | Air Traffic Flow Management with Heuristic Repair |
| Pierre Flener | Uppsala University, Sweden |
| Justin Pearson | Uppsala University, Sweden |
| Marc Bourgois | EuroControl Experimental Centre, Brétigny-sur-Orge, France |
Last modified: Thu Aug 9 15:29:09 CEST 2012 The preparation of this special issue has been co-financed by the European Organisation for the Safety or Air Navigation (EUROCONTROL) under its innovative research grant scheme.