September 17, 2001
Submission deadline for workshop papers
October 1, 2001
Notification of invitation to attend the workshop.
December 1, 2001
Call for Papers and Participation
The choices made in modelling problems as CSPs and subsequently in choosing how
to solve them are widely recognised as having a major effect on the usefulness of
constraint programming. The lack of a 'theory of modelling' is also recognised as
a bottleneck in the practical use of constraint programming technology. This
workshop will focus on formulation: the representation of problem entities as
variables and values of a CSP. Topics will include but not be limited to the following:
- What makes a good model.
- Techniques for automatically generating problem reformulations.
- Alternative representation of constraints (e.g. binary v. non-binary)
- Interactions between modelling and search.
- Case studies comparing alternative models of the same problem.
- Combining different models into one CSP.
- Modifying models to improve performance, e.g. addition of implied constraints.
- Symmetry in CSP models.
- Modelling to improve constraint propagation.
- Methods for selecting which of several reformulations are best for a given problem.
- Frameworks that unify and classify reformulation techniques.
- Theoretical and/or empirical studies of the costs and benefits of reformulation.
- Applications of reformulation.
The workshop will be of interest to constraint programming researchers who are applying
the technology to real problems and so have been faced with the question of how to model
the problem and how to solve the resulting model. A similar workshop was held in CP98 (Pisa)
Constraint Problem Reformulation.
NOTE: All workshop attendees must pay the CP/ICLP workshop registration fee.
Conference attendees are invited to submit a technical paper (maximum of 8 pages)
or a short statement of interest (1 or 2 pages). Papers must be submitted electronically
to Patrick Prosser (firstname.lastname@example.org)
no later than the 17th of September.
The organising committee will select a number of papers to be presented,
in the hope of producing a stimulating workshop.
All papers submitted by invited participants
will be made available to the workshop attendees,
and will be placed on the web.
School of Computing & Maths
University of Huddersfield
Huddersfield HD1 3DH
tel: (+44) 1484 472147
Department of Computing Science
University of Aberdeen
Aberdeen AB24 3UE
tel: (+44) 1224 272597
Ian Philip Gent
School of Computer Science
University of St Andrews
St Andrews KY16 9SS
tel: (+44) 1334 463247
Patrick Prosser (contact person)
Glasgow G12 8RZ
tel: (+44) 1413 304934