Fifteenth International Workshop on Constraint Modelling and Reformulation (ModRef 2016)
K. Leo and G. Tack.
Object-oriented Models in MiniZinc
G. Schenner and R. Taupe
DNA Word Design: A New
Constraint Model and New Results
M. Codish, M. Frank, and V. Lagoon
Building efficient soft
and cost MDD constraints
G. Perez and J.-C. Regin
Constraint-based Reasoning for Expressive Description
W. Sawangphol, Y.-F. Li, and G. Tack
Constraint Reasoning Approach Towards Intelligent Marketplace
Z. Erraji1, A. Hakkou1, A. Benamrane1, I. Benelallam, and El H. Bouyakhf
Constraint Problem Specification as Compression
S. D. Prestwich, S. A. Tarim, and R. Rossi
Drivers’ Fixed Path Constraints in Ridesharing Problems
V. Armant and K. N. Brown
Aims and scope
Constraint Programming (CP) is a powerful set of techniques to model and solve combinatorial problems, which are ubiquitous in academia and industry. CP has been successfully used for tackling a wide range of real-life complex applications, but finding a good model of a given problem often requires considerable expertise and time. Recent years have witnessed significant research devoted to modelling and solving problems with constraints. The key goals of this workshop are to extend the understanding of constraint modelling, to automate aspects of modelling or model reformulation, to extend the reach of constraint solvers on difficult problems, and to ease the task of modelling. Workshop topics include but are not limited to:
- Application papers describing interesting problems and ways of modelling 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.
- Higher-level modelling languages.
- Automatic reformulation techniques.
Call for Contributions
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 also welcome. Papers must be submitted in PDF format by email to Steve Prestwich.
All submissions will be reviewed by at least two members of the programme committee. Please note that at least one author of each accepted paper must register for and attend the workshop and pay the conference or "workshop only" fee, otherwise the paper and presentation will be withdrawn.
The proceedings of the event will be available electronically on the workshop website.
- July 2016
July 15, 2016
Notification of authors
July 25, 2016
- August 2016
Camera-ready paper due
August 15, 2016
- September 2016
Fifteenth International Workshop on Constraint Modelling and Reformulation
September 5, 2016
- Steve Prestwich, University College Cork, Ireland
- Ozgur Akgun, St Andrews University, UK
- George Katsirelos, INRA Toulouse, France
- Jimmy Lee, Chinese University of Hong Kong
- Ian Miguel, University of St Andrews, Scotland
- Justin Pearson, Uppsala University, Sweden
- Gilles Pesant, École Polytechnique de Montréal, Canada
- Helmut Simonis, University College Cork, Ireland
- Peter Stuckey, University of Melbourne, Australia