ModRef 2014: The Thirteenth International Workshop on Constraint Modelling and Reformulation
To be held at the 20th International Conference on the Principles and Practice of Constraint Programming (CP 2014) in Lyon, France, on September 8th, 2014.
Aims and Scope
Constraint Programming (CP) is a powerful technology to model and solve combinatorial problems, which are ubiquitous in academia and industry. The last ten years or so have witnessed significant research devoted to modelling and solving problems with constraints. CP is now a mature field and has been successfully used for tackling a wide range of real-life complex applications. However, such a technology is currently accessible to only a small number of experts. For CP to be more widely used by non-experts, more research effort is needed in order to ease the use of the CP technology. We solicit original papers that contribute to widen the use of the CP technology.
Workshop topics include (but are not limited to):
- 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 possibly combination among alternative models;
- Design of higher-level modelling languages;
- Automatic reformulation techniques.
The workshop will be held as a full-day or half-day workshop. Please note that workshop-participants need to be registered for the workshop. Past events of this workshop series can be found here.
The proceedings is available online here.
|9:00 - 9:05||Opening|
|9:05 - 9:30||Rethinking the Quest for Declarativity
|9:30 - 9:55||Towards Automatic Dominance Breaking
Christopher Mears and Maria Garcia de La Banda
|10:00 - 10:30||Coffee Break|
|10:30 - 11:30||Invited Talk: OR-Tools and the minizinc challenge
Laurent Perron, Google Paris
|11:30 - 11:55||Encoding The Lexicographic Ordering Constraint in SAT Modulo Theories
Hani Elgabou and Alan Frisch
|11:55 - 12:20||Anomalies in SMT Solving, Difficulties in Modelling Combinatorial Problems
Miquel Palahí and Alan Frisch
|12:30 - 14:00||Lunch Break|
|14:00 - 14:25||Efficient SMT Encodings for the Petrobras Domain
Miquel Bofill, Joan Espasa and Mateu Villaret
|14:25 - 14:50||Modeling Trainings in Faculty of Medicine and Pharmacy of Casablanca as Constraint Satisfaction problem
Benamrane Amine, Yosra Acodad, Imade Benelallam, El Houssine Bouyakhf and Mohammed Bennani Othmani
|14:50 - 15:15||Solving a Symmetric Key Cryptographic Problem with Constraint Programming
Marine Minier, Christine Solnon and Julia Reboul
|15:15 - 15:40||Modelling RTP-based Residential Load Scheduling for Demand Response in Smart Grids
Shan He, Ariel Liebman, Andrea Rendl, Mark Wallace and Campbell Wilson
|16:00 - 16:30||Coffee Break|
|16:30 - 17:00||Invited Talk: Modelling, reformulation, and solving with Numberjack
Barry Hurley, Insight Centre for Data Analytics, University College Cork
|17:00 - 17:30||Invited Talk: WSimply: Solving intensional WCSPs by reformulation into SMT
Mateu Villaret, University of Girona
|17:30 - 18:00||Open discussion|
- Submission date: July 23rd, 2014
- Notification of acceptance: August 15th, 2014
- Camera ready version: August 28th, 2014
- Workshop day: September 8th, 2014
|(chair)||Carlos Ansotegui||Universitat de Lleida, Spain|
|Jessica Davies||University of Toronto|
|Ivan Dotu||UPC, Spain|
|Alan Frisch||University of York|
|Emmanuel Hebrard||LAAS, CNRS|
|George Katsirelos||INRA, Toulouse, France|
|Christopher Jefferson||University of St. Andrews, UK|
|Daniel Le Berre||Artois University, France|
|Jimmy Lee||The Chinese University of Hong Kong|
|Yuri Malitsky||Cork Constraint Computation Centre, Ireland|
|Joao Marques-Silva||University College Dublin, Ireland|
|Ian Miguel||University of St. Andrews, UK|
|Peter Nightingale||University of St. Andrews, UK|
|Jean-Charles Regin||University of Nice-Sophia Antipolis / I3S / CNRS|
|Ashish Sabharwal||IBM Research|
|Horst Samulowitz||IBM Research|
|Meinolf Sellmann||IBM Research|
|Roberto Sebastiani||University of Trento, Italy|
|Peter Stuckey||University of Melbourne, Australia|
|Mateu Villaret||Universitat de Girona, Spain|
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.
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 2014. 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.