Open Source Tools for Constraint Programming and Mathematical Programming

Tuesday 15 June 2010

WORKSHOP 3: Open Source Tools for Constraint Programming and Mathematical Programming (Room 6.2)
9.00 – 9.30 Helmut Simonis and Paul Davern, CP-VIZ: An Open Source Visualization Platform for CP
9.30 – 10.00 Narendra Jussien and Jacob Feldman, JSR-331: Java Constraint Programming API. (Early Draft Review)
10.00 – 10.30 Thierry Benoist, Bertrand Estellon, Frederic Gardi, Karim Nouioua, Toward Local Search Programming: LocalSolver 1.0
10.30 – 11.00 Ignacio Castineiras and Fernando Saenz-Perez, Integration of Glass-box Solvers into a Constraint Functional-Logic Programming system
11.00 – 11.30 Coffee break
11.30 – 12.00 Peter Stuckey and Mark Wallace, A Modelling Language and Solver Independent Interface Language
12.00 – 12.30 Tobias Achterberg, Timo Berthold, and Stefan Heinz, The Plugin Based Design of SCIP
12.30 – 13.00 Yan Xu and Ted Ralphs, ChiPPS: A Framework for Implementing Parallel Tree Search Algorithms
13.00 – 14.30 Lunch
14.30 – 16.00 Discussion Session, Part I
16.00 – 16.30 Coffee break
14.30 – 16.00 Discussion Session, Part II

Back to Programme