Apologies if you receive this more than once:
International Workshop on Reformulating Constraint Satisfaction
Problems: Towards Systematisation and Automation
To be held at the 8th International Conference on Principles and
Practice of Constraint Programming (CP 2002)
Cornell University, Ithaca, NY, USA 8 September 2002
****Submission Deadline Extended Until July 8.
****This is a hard deadline.
Many companies have scheduling, assignment, supply chain and other
problems that could be solved with a constraint programming
toolkit. Although the solution of these problems is of vital
commercial importance, constraint programming toolkits are not widely
used because there is insufficient expertise available to model
problems as constraint programs.
This formulation bottleneck can be reduced by the development of
systems that can take a problem specification from a non-expert and
automatically reformulate it into a form that can be solved
efficiently. The facilities and capabilities of such a system might
include
a high-level language for specifying constraint satisfaction problems,
a compiler to translate high level specifications to executable models,
a module system that facilitates the modelling of large-scale and
complex CSPs and reformulation methods that can exploit models
constructed in this manner,
the construction of a more abstract formulation whose solution can
aid in solving the original problem,
the generation of implied constraints,
the detection and breaking symmetry,
the removal of redundant constraints,
the transformation of constraints,
the translation into Boolean satisfiability, and
the execution of large-scale changes of representation such as
changing the choice of variables.
We solicit original papers contributing to any aspect of constraint
problem reformulation including, but not limited to, those just
mentioned. We are especially interested in papers that address issues
in making the reformulation process more systematic and automatic.
Submission
To submit a paper, send an email to the Programme Chair
(frisch@cs.york.ac.uk) with title, authors' names and emails, name of
corresponding author, and a URL of the submission 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
welcomed.
All submissions will be reviewed and those that are well presented 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 and in hardcopy at CP-2002. All
accepted papers will be presented at the workshop, either as a talk or
in a poster session.
The Workshop
This will be a half-day workshop open to anyone interested in the
topic. The event will have a strong workshop flavour, with ample time
allocated to discussion. All workshop participants must pay the
CP-2002 workshop registration fee.
Important Dates
Submission deadline: 8 July 2002
Notification of acceptance: 22 July 2002
Camera Ready deadline: 5 Aug 2002
Workshop: 8 September 2002
Programme Committee
Alan M. Frisch (Chair), University of York, United Kingdom.
(frisch@cs.york.ac.uk)
Marco Cadoli, Universita` di Roma "La Sapienza", Italy.
(cadoli@dis.uniroma1.it)
Tom Ellman, Vassar College, USA. (ellman@cs.vassar.edu)
Pierre Flener, Uppsala University, Sweden. (pierref@csd.uu.se)
Eugene Freuder, University College Cork, Ireland. (e.freuder@4c.ucc.ie)
Jimmy Lee, The Chinese University of Hong Kong, Hong Kong SAR, China.
(jlee@cse.cuhk.edu.hk)
Ian Miguel, University of York, United Kingdom. (ianm@cs.york.ac.uk)
Patrick Prosser, Glasgow University, United Kingdom. (pat@dcs.gla.ac.uk)
Toby Walsh, University College Cork, Ireland. (tw@4c.ucc.ie)
This archive was generated by hypermail 2b29 : Fri Jul 05 2002 - 11:03:08 PDT