The 19th International Conference on
Principles and Practice of
Constraint Programming
Uppsala, Sweden
September 16-20, 2013

Workshop "CPSOLVERS-2013" - Schedule

The workshop "CP Solvers: Modeling, Applications, Integration, and Standardization" will be held at the 19th International Conference on the Principles and Practice of Constraint Programming (http://cp2013.a4cp.org/) in Uppsala, Sweden on Monday September 16, 2013.

SCHEDULE Main Abstracts and Presentations CP Catalogue LP Catalogue

September 16, 2013*

09:00 - 09:10: Workshop Objectives and CP Solvers Catalogue. Jacob Feldman
09:10 - 09:35: CP Solvers/Learning Constraint Programming. Hakan Kjellerstrand
09:35 - 10:00: Gecode -- an open constraint solving library. Christian Schulte and Guido Tack
10:00 - 10:25: Choco3: an Open Source Java Constraint Programming Library. Charles Prud'Homme, Jean-Guillaume Fages, Xavier Lorca and Narendra Jussien

10:30 - 11:00: Morning Tea Break

11:00 - 11:25: Model Presolve, Warmstart and Conflict Refining in CP Optimizer. Philippe Laborie, Philippe Refalo and Paul Shaw
11:30 - 11:55: JaCoP - Java Constraint Programming Solver. Krzysztof Kuchcinski and Radoslaw Szymanek
12:00 - 12:25: Xpress-Kalis: A CP solver integrated in the FICO Xpress Optimization Suite. Sylvain Mouret, Alexandre Marié and Susanne Heipcke

12:30 - 14:00: Lunch Break

14:00 - 14:25: OR-Tools solver. Laurent Perron
14:30 - 14:55: JSR331 Standard: Current State and Future Plans. Jacob Feldman
15:00 - 15:25: Constraint Programming in AMPL. Victor Zverovich

15:30 - 16:00: Afternoon Tea Break

16:00 - 16:25: iZ-C: A Constraint Programming Library. Toshimitsu Fujiwara
16:25 - 16:50: Numberjack. Barry Hurley and Barry O'Sullivan
16:50 - 17:15: The modeling system AIMMS for developing Mathematical Programming and Constraint Programming applications. Chris Kuip
17:15 - 18:00: Open Panel Discussion moderated by Helmut Simonis

__________________________________________________________________________________________________
*This schedule is tentative and the Organizing Committee preserves the right to make changes in presentation times