ModRef 2017 will be the 16th 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. This year CP is co-located with ICLP and SAT, and we are excited to run ModRef in this context!
- The 23rd International Conference on Principles and Practice of Constraint Programming
- The 33rd International Conference on Logic Programming
- The 20th International Conference on Theory and Applications of Satisfiability Testing
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:
- Application papers describing interesting problems and interesting ways to model them;
- Contributions to understanding modelling that could guide the manual or automatic formulation of models;
- Identification of the criteria that should be used in evaluating models and the design of pragmatic techniques that facilitate the choice and possible combination among alternative models;
- Design of higher-level modelling languages;
- Automatic reformulation techniques;
- Techniques which allow automatically targeting multiple kinds of solvers from a single declarative model.
Call for Presentations (Deadline: 31 July 2017)
This year ModRef will include 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 an abstract to be used in the program.
Please submit your title and abstract in PDF format using EasyChair. Submissions will be reviewed promptly for appropriateness.
Call for Papers (Deadline: 31 July 2017)
Submissions 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 welcome.
Papers must be submitted in PDF format using EasyChair.
Please feel free to get in touch to express interest, to have an informal discussion, etc.
All submissions will be reviewed and those that are well-written and make a worthwhile contribution to the topic of the workshop will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at CP 2017. At least one author of each accepted paper must attend the workshop. Please note that every workshop participant needs to be registered for the workshop.
Past events of this workshop series can be found here.
|Notification of acceptance/rejection||August 6th, 2017|
|Camera ready version||August 20th, 2017|
|Workshop day||August 28th, 2017|
|Özgür Akgün (Chair)||University of St Andrews|
|Alan Frisch (Chair)||University of York|
|Kevin Leo (Local organiser)||Monash University|
|Mateu Villaret||University of Girona|
|13:30||Session Chair’s Welcome: Kevin Leo|
|13:35||Invited Talk: Peter Stuckey
Ten Years of MiniZinc (Abstract, Slides)
|14:20||Contributed Paper: Thibaut Feydy, Adrian Goldwaser, Andreas Schutt, Peter J. Stuckey and Kenneth Young
Priority Search with MiniZinc (Paper)
|14:50||Short Talk: Jessica Enright, Christopher Jefferson, David Manlove, Ciaran McCreesh, Patrick Prosser, Simon Rogers and James Trimble
Modelling and Optimisation with Graphs (Abstract)
|15:10||Short Talk: Kenneth Young
A Logic-Based Benders Decomposition of an Assembly Line Balancing and Scheduling Problem (Abstract)
|16:00||Invited Talk: David Mitchell
A Logical View of Constraint Modelling and Reformulation (Abstract)
|16:35||Contributed Paper: Carleton Coffrin, Siqi Liu, Peter J. Stuckey and Guido Tack
Solution Checking with MiniZinc (Paper)
|17:05||Short Talk: Miquel Bofill
Towards Compact SMT Encodings for Numeric Planning (Abstract)
|17:25||Contributed Paper: Masoumeh Vali and Khodakaram Salimifard
A Constraint Programming Approach for Solving Multiple Traveling Salesman Problem (Paper)