Friday 18 June 2010

Friday 18 June 2010

SESSION 1: 9.00 – 10.45 (Room 6.1)
9.00 - 10.00 Invited Talk Peter Stuckey, Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
10.00 - 10.30 Matteo Fischetti and Domenico Salvagnin, A Relax-and-Cut Framework for Gomory Mixed-Integer Cut
10.30 - 10.45 Pierre Schaus, Pascal Van Hentenryck and Alessandro Zanarini, Revisiting the soft global cardinality constraint
10.45 - 11.15 Coffee break
SESSION 2: 11.15 – 13.00 (Room 6.1)
11.15 - 11.45 Stefano Gualandi, Federico Malucelli and Domenico Sozzi, On the Design of the Next Generation Access Networks
11.45 - 12.15 Justin Yip, Pascal Van Hentenryck and Carmen Gervet, Boosting Set Constraint Propagation for Network Design
12.15 - 12.30 Andrew Davenport, Integrated maintenance scheduling for semiconductor manufacturing
12.30 - 12.45 Matteo Fischetti and Domenico Salvagnin, An in-out approach to disjunctive optimization
12.45 - 13.00 Pascal Benchimol, Jean-Charles Regin, Louis-Martin Rousseau, Michel Rueher and Willem-Jan van Hoeve, Improving the Held and Karp Bound with Constraint Programming

Back to Programme