CP2001 Post Conference Workshop Modelling and Problem Formulation Formul'01 Dec 1, 2001 Coral Beach Hotel and Resort Paphos, Cyprus

Call for Papers and Participation

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

Submission details

Organization