Talks on "Hybrid Numeric Constraints & Applications" given at the

ACP Summer School 2011: Hybrid Methods for Constraint Programming
TurunÁ (Turkey) from Monday 27 June to Friday 1 July 2011

  1. Outline

  2. Hybrid Constraints over Continuous Domains: introduction

  3. Constraint Programming over Continuous Domains

  4. Hybrid CSP & Global Optimization

  5. Program verification: Refining AI Approximations with hybrid CP solvers

  6. Hybrid Constraint-Based Bounded Program Verification