9.00 to 9.05
Welcome, and Self Introductions
9.05 to 9.35
Topological Channel Routing Using Constraint
Logic Programming Andrew Hughes, Anthony J. Kusalik, and Carl D. McCrosky
9.35 to 10.05
First-Solution Search with Symmetry Breaking and Implied Constraints Stephen Prestwich (over heads in .ps)
10.05 to 10.35
Symmetry and Implied Constraints in the Steel Mill Slab Design Problem Alan M. Frisch, Ian Miguel, and Toby Walsh
11.00 to 11.30
Constraint Programming and Hybrid Formulations
for Life Robert Bosch and Michael Trick
11.30 to 12.00
Modelling and Problem Forulation: what matters and who cares? Patrick Prosser
(power point slides are here)
12.00 to 12.30
A Panel Discussion Ian P. Gent