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 ([EMAIL PROTECTED]) 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. ([EMAIL PROTECTED]) Marco Cadoli, Universita` di Roma "La Sapienza", Italy. ([EMAIL PROTECTED]) Tom Ellman, Vassar College, USA. ([EMAIL PROTECTED]) Pierre Flener, Uppsala University, Sweden. ([EMAIL PROTECTED]) Eugene Freuder, University College Cork, Ireland. ([EMAIL PROTECTED]) Jimmy Lee, The Chinese University of Hong Kong, Hong Kong SAR, China. ([EMAIL PROTECTED]) Ian Miguel, University of York, United Kingdom. ([EMAIL PROTECTED]) Patrick Prosser, Glasgow University, United Kingdom. ([EMAIL PROTECTED]) Toby Walsh, University College Cork, Ireland. ([EMAIL PROTECTED])
