Fifteenth International Workshop on Constraint Modelling and Reformulation (ModRef 2016)

All Papers

• Debugging Unsatisfiable Constraint Models
  K. Leo and G. Tack.
• Encoding 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
• CP4DL: Constraint-based Reasoning for Expressive Description Logics
  W. Sawangphol, Y.-F. Li, and G. Tack
• A Distributed Constraint Reasoning Approach Towards Intelligent Marketplace Environment
  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
• Reformulation of 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:

1. Application papers describing interesting problems and ways of modelling them.
2. Contributions to understanding modelling that could guide the manual or automatic formulation of models.
3. Identification of the criteria that should be used in evaluating models.
4. Higher-level modelling languages.
5. 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.

Important dates

• July 2016
• Paper submission

  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

Chair

• Steve Prestwich, University College Cork, Ireland

Program Committee

• 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