ModRef 2018 was the 17th in a series of workshops on Constraint Modelling and Reformulation. ModRef has always been co-located with the Constraint Programming (CP) conference in the past. The workshop ran at The 24th International Conference on Principles and Practice of Constraint Programming in Lille, France on the 27th of August 2018.
Recent years have witnessed significant research devoted to modelling and solving problems with constraints. The importance of modelling and model reformulation is widely recognised. There have been developments in systematic and automated ways of improving aspects of modelling and model reformulation. Tools and techniques which provide the ability to target multiple kinds of solvers were also developed.
The key goals of this workshop are to extend the understanding of constraint modelling and to automate aspects of modelling or model reformulation to extend the reach of constraint solvers on difficult problems and ease the task of modelling. We solicit original papers that contribute to either or both of these goals.
Workshop topics include:
This year ModRef will again include (abstract-only) presentations that are not based on submitted papers.
In addition to the presentation of research results, we especially welcome talks describing ongoing work, recent breakthroughs, future directions, and descriptions of interesting aspects of existing systems. It will be a lightweight submission: we only ask for a title and a 1-page abstract to be used in the program.
In addition to the short form abstract only submissions we are also accepting full paper submissions. These must be formatted in the Lecture Notes in Computer Science (LNCS) style and must be within 15 pages excluding references. Submissions of shorter papers, including position papers, are also welcome.
Please feel free to get in touch to express interest, to have an informal discussion, etc.
| Kevin Leo (Chair) | Monash University |
| Alan Frisch | University of York |
| Andrea Rendl | Satalia |
| Christopher Jefferson | University of St. Andrews |
| Helmut Simonis | The Insight Centre for Data Analytics |
| Jean-Noël Monette | Tacton |
| Jimmy Lee | Chinese University of Hong Kong |
| Özgür Akgün | University of St. Andrews |
| Time | Authors | Title |
|---|---|---|
| 14:00 | Invited Talk: Michele Lombardi | Empirical Decision Model Learning (slides)(resources) |
| 14:30 | Özgür Akgün and Ian Miguel | Modelling Langford’s Problem: A Viewpoint for Search (paper) |
| 14:50 | Ruth Hoffmann, Özgür Akgün and Susmit Sarkar | Memory Consistency Models using Constraints (paper) |
| 15:10 | Andrea Rendl and Christina Burt | Demand-driven Delivery Staff Rostering (paper)(slides)(models+data) |
| 15:30 | Coffee Break | |
| 16:00 | Invited Talk: Helmut Simonis | Considering Feedback Loops in Constraint Programming Methodology (slides) |
| 16:40 | Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, María Andreína Francisco Rodríguez and Helmut Simonis | A Transducer-Based Model for Representing Functional Constraints on Integer Sequences (paper)(slides) |
| 17:00 | Tias Guns, Peter J. Stuckey and Guido Tack | Solution Dominance over Constraint Satisfaction Problems (paper)(slides) |
| 17:20 | Saad Attieh, Christopher Jefferson, Ian Miguel and Peter Nightingale | Towards Solving Essence With Local Search: a Proof of Concept Using Sets and Multisets (paper)(slides)(code) |
| 17:40 | Christian Artigues, Emmanuel Hebrard, Yannick Pencolé, Andreas Schutt and Peter J. Stuckey | A Study of Evacuation Planning for Wildfires (paper) |
| 18:00 | End of workshop |
The ModRef workshop has been running for 17 years and has hosted many interesting presentations.