Constraint Programming
Constraint programming (CP) is a programming paradigm for the modelling and solving of constrained problems, such as complex problems in resource allocation, scheduling, configuration, and design. The success of CP comes from the fact that it provides high-level languages for declaratively modelling a problem by means of constraints (and an objective function), and for writing an efficient search procedure that automatically solves the problem.
Hybridisation
The objective of this advanced-level summer school is to study integration opportunities between CP solvers and the solvers of some other constraint-solving technologies, namely mixed integer programming (MIP), global (numerical) optimisation, Boolean satisfiability (SAT), and stochastic local search (SLS). The expected outcome of such a hybridisation is improved modelling convenience or solving speed over the individual technologies, and the role of CP in such a convergence will be examined.
Association for Constraint Programming
The Association for Constraint Programming (ACP) is a non-profit association aiming at promoting constraint programming in every aspect of the scientific world. It encourages its theoretical and practical developments, its teaching in academic institutions, its adoption in the industrial world, and its use in the the application fields.
Every year, the ACP supports the organisation of the ACP Summer School to augment and complement university teaching of CP, and to disseminate a core body of CP knowledge supporting the recognition of CP as a mature and relevant technology for use in industry.