ModRef 2018

The 17th workshop on Constraint Modelling and Reformulation

August 27th, 2018; Lille, France

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:

Call for Presentations (Deadline passed)

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.

Call for Papers (Deadline passed)

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.

Important Dates

Submission date July 6th, 2018
Extented Submission date July 17th, 2018
Notification of acceptance/rejection August 10th, 2018
Camera ready version August 17th, 2018
Workshop day August 27th, 2018

Program Committee

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

Program (August 27th, 2018)

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  

Previous ModRef Workshops

The ModRef workshop has been running for 17 years and has hosted many interesting presentations.