The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08)

To be held at
the 14th International Conference on the Principles and Practice of Constraint Programming (CP'08)

Sydney, Australia
Monday 15 September 2008

Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08
and with the 5th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'08) at CP'08


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 previous workshops of this series were held in 2007, 2006, 2005, 2004, 2003, and 2002.

The Workshop

This will be a full-day workshop open to anyone interested in the topic. The event will have a strong workshop flavour, with ample time allocated to discussion.

Programme and Proceedings

09:00 - 10:00 Invited talk: The Connection of Local Search and Learning (LSCS'08)
Meinolf Sellmann
10:00 - 10:30 Refreshments
10:30 - 11:00 The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers (ModRef'08)
Ralph Becket, Sebastian Brand, Mark Brown, Gregory J. Duck, Thibaut Feydy, Julien Fischer, Jinbo Huang, Kim Marriott, Nicholas Nethercote, Jakob Puchinger, Reza Rafeh, Peter J. Stuckey, and Mark G. Wallace
11:00 - 11:30 Automatically Detecting Neighbourhood Constraint Interactions using Comet (LSCS'08)
Alastair Andrew and John Levine
11:30 - 12:00 Constructive vs Perturbative Local Search for General Integer Linear Programming (LSCS'08)
Stefania Verachi and Steven Prestwich
12:00 - 12:30 A Versatile Intermediate Language for Answer Set Programming (NMR'08)
Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, and Sven Thiele
12:30 - 13:30 Lunch
13:30 - 14:00 Efficient Propagation of Disjunctive Constraints using Watched Literals (ModRef'08)
Christopher Jefferson and Karen E. Petrie
14:00 - 14:30 Generalizing Backdoors (LSCS'08)
Roberto Rossi, Steven Prestwich, S. Armagan Tarim, and Brahim Hnich
14:30 - 15:00 Kakuro as a Constraint Problem (ModRef'08)
Helmut Simonis
15:00 - 15:30 Closing & Refreshments

Programme Committee

Yves DevilleUniversité catholique de Louvain, Belgium
Esra ErdemSabanci University, Istanbul, Turkey
Pierre Flener (co-chair)Uppsala University, Sweden
Alan M. FrischUniversity of York, United Kingdom
Jimmy LeeThe Chinese University of Hong Kong, China
Xavier LorcaÉcole des Mines de Nantes, France
Michela MilanoUniversity of Bologna, Italy
Gilles PesantUniversité de Montréal, Canada
Helmut Simonis (co-chair)Cork Constraint Computation Centre, Ireland
Barbara SmithUniversity of Leeds, United Kingdom
Pascal Van HentenryckBrown University, RI, USA
Mark WallaceMonash University, Australia

Submission

To submit a paper, send an email to both programme chairs (Pierre Flener and Helmut Simonis) with title, author(s)' name(s) and email(s), name of corresponding author, abstract, and a URL of the paper in Postscript or (preferably) in PDF. Submissions must be formatted in the Lecture Notes in Computer Science (LNCS) style and must not exceed 15 pages. Submissions of shorter papers, including position papers, are welcome.

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'08. At least one author of each accepted paper must attend the workshop.

Important Dates

Submission deadlineMonday 21 July 2008
Notification of acceptanceMonday 11 August 2008
Camera-Ready Copy deadlineThursday 21 August 2008
WorkshopMonday 15 September 2008


Last modified: Thu Sep 4 16:46:43 CEST 2008