ACP Summer School 2011: Hybrid Methods for Constraint Programming



To be held in Turunç (Turkey) from Monday 27 June to Friday 1 July 2011


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). Each speaker will focus on inference & relaxation, search, modelling, and implementation.


  • Ian Gent (University of St Andrews, Scotland, UK), on hybridising CP and SAT

  • John Hooker (Carnegie Mellon University, USA), on hybridising CP and MIP

  • Michel Rueher (Université de Nice Sophia Antipolis, France), on hybridising CP and global (numerical) optimisation

  • Pascal Van Hentenryck (Brown University, USA), on hybridising CP and SLS


  • Application: Fri 1 Apr

  • Notification: Fri 15 Apr

  • Stipend application: Thu 21 Apr

  • Stipend notification: Fri 29 Apr

  • Summer school: Mon 27 Jun - Fri 1 Jul

More information: summerschool-2011/index.html