ModRef 2010 Programme

Monday 6 September 2010

First Session: 9:00 - 10:30

Session chair: Andrea Rendl

• 9.00 - 9:25 Leslie De Koninck, Sebastian Brand and Peter Stuckey. Data Independent Type Reduction for Zinc.
• 9.25 - 9:50 Ozgur Akgun, Alan Frisch, Brahim Hnich, Chris Jefferson and Ian Miguel. Conjure Revisited: Towards Automated Constraint Modelling. Slides
• 9:50 - 10:15 Pieter Wuille and Tom Schrijvers. Expressive Models for Monadic Constraint Programming slides
• 10:15 - 10:30 Christopher Jefferson, Wendy Moncur and Karen E. Petrie. Combination: Automated Generation of Puzzles with Constraints.

Second Session: 11:00 - 12:40

Session chair: Alan Frisch

• 11:00 - 11:25 Ian P. Gent, Ian Miguel and Andrea Rendl. Optimising Quantified Expressions in Constraint Models slides
• 11:25 - 11:50 Arnaud Gotlieb, Michel Leconte and Bruno Marre. Constraint solving on modular integers. slides
• 11:50 - 12:15 Patrick Prosser. Triangle Packing with Constraint Programming.
• 12:15 - 12:40 Christopher Mears and Todd Niven. Proving Symmetries by Model Transformation. slides

Third Session: 14:00 - 15:35

Session chair: Justin Pearson

• 14:00 - 14:25 Helmut Simonis and Tarik Hadzic. A Resource Cost Aware Cumulative. slides
• 14:25 - 14:40 Aliaa Badr, Arnaud Malapert and Ken Brown. Modelling a Maintenance Scheduling Problem with Alternative Resources. slides
• 14:40 - 14:55 Jingchao Chen. A New SAT Encoding of the At-Most-One Constraint. slides in powerpoint format
• 14:55 - 15:10 Tomoya Tanjo, Naoyuki Tamura and Mutsunori Banbara. Towards a Compact and Efficient SAT-encoding of Finite Linear CSP. slides
• 15:10 - 15:35 Alan M. Frisch and Paul A. Giannoros. SAT Encodings of the At-Most-k Constraint.

Last Session: 16:10 - 17:15

Session chair: Karen E. Petrie

• 16:10 - 16:35 Samir A. Mohamed Elsayed and Laurent Michel. Synthesis of Search Algorithms from High-level CP Models. slides
• 16:35 - 16:50 Horst Samulowitz, Guido Tack, Julien Fischer, Mark Wallace and Peter Stuckey. Towards a Lightweight Standard Search Language. slides
• 16:50 - 17:15 Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai and Justin Pearson. Energy-Efficient Task-Mapping for Data-Driven Sensor Network Macroprogramming Using Constraint Programming. a revised version of the paper which supersedes the results of the workshop version can be found here

« ModRef 2010 Home page