ModRef 2012

ModRef 2012: The Eleventh International Workshop on Constraint Modelling and Reformulation

To be held at the 18th International Conference on the Principles and Practice of Constraint Programming (CP 2012) in Quebec City, Canada, on Monday 8 October 2012.


  <span class="title">Symmetry Declarations for MiniZinc</span>\
  <span class="author">Geoffrey Chu and *Peter Stuckey*</span>
  <span class="title">MiniZinc with Functions</span>\
  <span class="author">Peter Stuckey and *Guido Tack*</span>
  <span class="title">Dual Encoding from Applications into Quantified Boolean Formulas</span>\
  <span class="author">*Allen Van Gelder*</span>
15:00 Break
  <span class="title">The AtMostSeqCard Revisited</span>\
  <span class="author">*Nina Narodytska* and Toby Walsh</span>
    <span class="title">Finding Synchronization Codes to Boost Compression by Substring Enumeration</span>\
    <span class="author">*Dany Vohl*, Claude-Guy Quimper and Danny Dubé</span>
    <span class="title">DFA-based formulation for constraint negation</span>\
    <span class="author">*Nadjib Lazaar*, Noureddine Aribi, Arnaud Gotlieb and Lebbah Yahia</span>
    <span class="title">CDF-Intervals Revisited</span>\
    <span class="author">*Aya Saad*, Carmen Gervet and Thom Fruehwirth</span>
16:50 End

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):

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.

Important Dates

Program Committee

(co-chair) Christopher Mears Monash University, Australia
(co-chair) Christopher Jefferson University of St. Andrews, UK
Ozgur Akgun University of St. Andrews, UK
Alan M. Frisch University of York, UK
Stefan Heinz ZIB, Germany
Jimmy Lee Chinese University of Hong Kong
Michele Lombardi University of Bologna, Italy
Ian Miguel University of St. Andrews, UK
Nina Narodytska NICTA, Australia
Justin Pearson Uppsala University, Sweden
Karen Petrie University of Dundee, UK
Andrea Rendl AIT, Austria
Tom Schrijvers University of Ghent, Belgium
Helmut Simonis 4C, Cork, Ireland
Pascal Van Hentenryck NICTA, Australia


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 before Monday, 16 July 2012 UTC-12 (i.e. submitted anywhere on the world on 16 July will be on time).

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 2012. 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.

Last update: 5 October, 2012