CP 2003

Preliminary Programme

Features of CP 2003

The CP 2003 programme includes the following features:

A Technical Programme containing 48 papers, (selected from 181 submissions) and 34 posters.
An Invited Lecture Programme, presenting lectures by four prominent invited speakers.
A Doctoral Programme -- a special programme for PhD students. See more details.
A Workshop Programme. See the list of workshops
A Tutorial Programme. Each tutorial will describe the state of the art in a field of research related to constraint programming or in a field which offers a particularly rich source of applications. See the list of tutorials.
A Demonstration Stream. Some CP software packages will be demonstrated during the conference. See here for more details.
There will also be an ECLiPSe mini-school.
A Cultural Programme, including a tour of scenic/historical sites in the hinterland of Kinsale and a céilí dance after the conference banquet.

Schedule of Events

Sunday, September 28

Actons Hotel: ECLiPSe Mini-School -- see here for details.

Monday, September 29

8:00 AM -- 5:00 PM Actons Hotel: Registration

Morning and Afternoon: Workshops -- see workshop programme for details.
The morning coffee break will be from 10:00 - 10:45 in the Waterfront Bar and the Harpoon Suite. The afternoon coffee break will be from 15:30 - 16:15, in the Waterfront Bar and the Wheelhouse Room.

Workshop Room Assignments
Click here for locations of the various rooms

SymCon'03

Kinsale Suite

MultiCPL'03

Fastnet Room

IntCP 2003

Wheelhouse Room

User-Interaction

Charlesfort Suite

Soft-2003

Trident Boardroom

Immediate Applications

Schooner Room

Modelling and Reformulating

Harpoon Suite

RCoRP'03

Charlesfort Suite

COSOLV 2003

Fastnet Room

Online Constraint Solving

Kinsale Suite

6:30: Kinsale Suite: Welcoming Reception, drinks and finger-food provided
Welcoming Address, Desmond MacHale (professor of Mathematics in UCC and biographer of George Boole)

Tuesday, September 30

8:00 AM -- 5:00 PM Actons Hotel: Registration

8:45-9:00: Kinsale Suite: Opening and Announcements

9:00-10:05: Kinsale Suite: Invited Talk, session chaired by Francesca Rossi

Languages versus Packages for Constraint Problem Solving, Mark Wallace

10:05-10:40: Kinsale Suite: Best Paper, session chaired by Francesca Rossi

Control Abstractions for Local Search Pascal Van Hentenryck, Laurent Michel

10:40-11:10: Waterfront Bar: Coffee break

11:10-12:50:

Stream A Kinsale Suite:
Session 1: Theory, session chaired by Barbara Smith
Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems, Ola Angelsmark and Peter Jonsson
Resolution and Constraint Satisfaction David G. Mitchell
An Algebraic Approach to Multi-sorted Constraints Andrei A. Bulatov and Peter Jeavons
Tractability by Approximating Constraint Languages Martin J. Green and David A. Cohen

Stream B Harpoon Suite:
Session 2: Applications, session chaired by Helmut Simonis
A Two-stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows, Russell Bent and Pascal Van Hentenryck
Using Constraint Programming to Solve the Maximum Clique Problem Jean-Charles Regin
Propagating N-ary Rigid-Body Constraints Ludwig Krippahl and Pedro Barahona
Improving Backtrack Search for Solving the TCSP Lin Xu and Berthe Y. Choueiry

12:50-2:00 Lunch break

2:00-3:15

Stream A Kinsale Suite, Tutorial session chaired by Peter Jeavons
Preference Representation and Constrained Optimization with CP-Nets Ronen Brafman, Carmel Domshlak

Stream B Harpoon Suite: Panel Session, chaired by Francois Laburthe
How to get industry interested in your PhD thesis

3:15-3:30 Waterfront Bar: Coffee break

3:30-4:45 Kinsale Suite: Poster previews, session chaired by Peter van Beek

A nominated author for each poster will have 2 minutes to present the essence of the poster. The posters will be presented in the order specified in the list of posters, that is, based on an alphabetical ordering of the surnames of the first-listed authors..

4:45-5:00 Waterfront Bar: Coffee Break

5:00-6:15

Stream A Kinsale Suite:
Session 3: Planning and scheduling, session chaired by Gerard Verfaillie
Incremental Computation of Resource-Envelopes in Producer-Consumer Models T. K. Satish Kumar
Cost-based Filtering for Shorter Path Constraints Meinolf Sellmann
Pruning while Sweeping over Task Intervals Armin Wolf

Stream B Harpoon Suite:
Doctoral talks, session chaired by Michela Milano
distN: An Euclidean Distance Global Constraint, Michael Heusch
Explanation for Global Constraints, Guillaume Rochard
Computing Explanations for Global Scheduling Constraints, Petr Vilim
Useful Explanations, Barry O'Callaghan
Sensitivity Analisys in CSPs, Diarmuid Glynn
Solution Stability in Constraint Satisfaction Problems, Emmanuel Hebrard

6:15-7:30 Harpoon Suite: Poster session

Poster papers will be on display. An author will be present at each poster display, to discuss the material. See the list of posters.

7:30 onwards Short excursion: the Ghost Tour

of Kinsale -- click here for more details

9:00 Trident Hotel Doctoral dinner

Wednesday, October 1

8:55-9:00: Kinsale Suite: Announcements

9:00-10:00 Kinsale Suite: Invited Talk, session chaired by Krzysztof Apt

Automated Mechanism Design: A New Application Area for Search Algorithms , Tuomas Sandholm

10:00-10:15 Waterfront Bar: Coffee break

10:15-11:30

Stream A Kinsale Suite:
Session 4: Soft Constraints, session chaired by Thomas Schiex
Bounded Backtracking for the Valued Constraint Satisfaction Problems Cyril Terrioux and Philippe Jegou
Solving 'Still life' with Soft Constraints and Bucket Elimination Javier Larrosa and Enric Morancho
Soft Constraints: Complexity and Multimorphisms David Cohen, Martin Cooper, Peter Jeavons and Andrei Krokhin

Stream B Harpoon Suite:
Session 5:Symmetry breaking, session chaired by Barbara Smith
Symmetry Breaking Using Stabilizers Jean-Francois Puget
Constraints for Breaking More Row and Column Symmetries Alan M. Frish, Chris Jefferson and Ian Miguel
Generic SBDD Using Computational Group Theory Ian P. Gent, Warwick Harvey, Tom Kelsey and Steve Linton

11:30-11:45 Waterfront Bar and Harpoon Suite Coffee Break

11:45-12:45

Stream A Kinsale Suite: Invited talk, session chaired by Francesca Rossi
Computer Science in FETs and the IST Programme, David Pearce, European Commission

Stream B Harpoon Suite: Doctoral Tutorial, session chaired by Rina Dechter
How to write a PhD thesis, Toby Walsh

12:45-2:00 Lunch break
12:45-2:00 Trident Dining Room: CP Organizing Committee Lunch

2:15- 7:00 Sightseeing Excursion

7:30- 9:30 Banquet
After-dinner speaker: Dave Cohen

9:30 - 12:00 Céilí Dance (music provided by Comhaltas Ceoltóirí Eireann)

Thursday, October 2

8:55-9:00: Kinsale Suite: Announcements

9:00-10:00 Kinsale Suite: Invited Talk, session chaired by Toby Walsh

Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search, Henry Kautz

10:00-10:15 Waterfront Bar: Coffee break

10:15-11:30

Stream A Kinsale Suite:
Session 6: Soft constraints and uncertainty, session chaired by Pedro Meseguer
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search Stefano Bistarelli, Philippe Codognet, H.K.C. Hui and J.H.M. Lee
Constraint-based Optimization with the Minimax Decision Criterion Craig Boutilier, Relu Patrascu, Pascal Poupart and Dale Schuurmans
Certainty Closure: A Framework for Reliable Constraint Reasoning With Uncertainty Neil Yorke-Smith and Carmen Gervet

Stream B Harpoon Suite:
Session 7: Continuous and distributed CSPs, session chaired by Prederic Benhamou
Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities Stefan Ratschan
Constraint Satisfaction Differential Problems Jorge Cruz and Pedro Barahona
Open Constraint Optimization Boi Faltings and Santiago Macho-Gonzalez

11:30-11:45 Waterfront Bar and Harpoon Suite Coffee Break

11:45-1:00

Stream A Kinsale Suite:
Session 8: Constraint propagation and new domains, session chaired by Roland Yap
Exploiting Multidirectionality in Coarse-grained Arc Consistency Algorithms Christophe Lecoutre, Frederic Boussemart and Fred Hemery
Consistency and Propagation with Multiset Constraints: A Formal Viewpoint Toby Walsh
Periodic Constraint Satisfaction Problems: Polynomial-time Algorithms Hubie Chen

Stream B Harpoon Suite:
Session 9: Local search, session chaired by Holger Hoos
Maintaining Longest Paths Incrementally Laurent Michel and Pascal Van Hentenryck
Local-search Techniques for Propositional Logic Extended with Cardinality Constraints Lengning Liu, Miroslaw Truszczynski
Using Stochastic Local Search to Solve Quantified Boolean Formulae Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley and Kevin Smyth

1:00-2:00 Lunch break

2:00-2:15

Kinsale Suite: Presentation of new CP Organizing Committee and CP business meeting -- open to everybody

2:15-3:15

Stream A Kinsale Suite: Tutorial, session chaired by Christian Bessiere
Configuration as a challenging application for CP technology, Daniel Mailharro, Ulrich Junker

Stream B Harpoon Suite: Doctoral Tutorial, session chaired by Toby Walsh
How to get a PhD in Informatics, Alan Bundy

3:15-3:30 Waterfront Bar: Coffee break

3:30-4:45 Kinsale Suite: Doctoral poster previews (3 minutes each)

Identifying inconsistent CSPs by relaxation, Tomas Norlander
FeReRA: A Multi-agent Approach to Constraint Satisfaction, Muhammed Basharu
Distributed Constraint-Based Railway Simulation, Hans Schlenker
On the Enhancement of the Informed Backtracking algorithm, Boutheina Jlifi
Introducing ESRA, a relational language for modelling combinatorial problems, Magnus Agren
A Framework for comparing Symmetry Breaking Methods, Karen Petrie
Efficient Vicktrey-Pricing for Grid Service Providers with Constraints, Alan Holland
Abstracting Constraints using Constraints, James Gibbons
Self configuring Constraint Programming System, Tom Carchrae
Teacher and learner profiles for constraint acquisition, Sarah O'Connell
Using Case-Based reasoning to write constraint programs, Cormac Gebruers
Watching clauses in quantified boolean formulae, Andrew Rowley
Dynamic Step Size Adjustment in Iterative Deepening Search, Daniel Sheridan
An adaptive controller for real-time resolution of the vehicle routing problem, Ann Tighe
Using Constraint Programming and Simulation for execution monitoring and on-line rescheduling with uncertainty, Julien Bidot
A New Approach to Solving SAT-encoded Binary CSPs, Carlos Ansotegui
Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT, Jordi Planes
Interactivity in Constraint Programming, Tomas Muller
Search Programming, Wojciech Legierski
Search for mathematical objects, Colin Quirke
Extending CLP with metaheuristics, Ole Boysen

4:45-5:00 Waterfront Bar Coffee Break

5:00-6:15

Stream A Kinsale Suite:
Session 10: Constraint propagation and global constraints, session chaired by Jean-Charles Regin
Approximated Consistency for Knapsack Constraints Meinolf Sellmann
Discrepancy-Based Additive Bounding for the Alldifferent Constraint Andrea Lodi, Michela Milano and Louis-Martin Rousseau
Box Constraint Collections for Adhoc Constraints K. C. K. Cheng, J. H. M. Lee and P. J. Stuckey

Stream B Harpoon Suite:
Doctoral Talks, session chaired by Michela Milano
Observation of Constraint Programs, Ludovic Langevine
Open Solver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine, Peter Zoeteweij
Restart Strategies: Analysis and Simulation, Huayue Wu
Learning good variable orderings, Paula Sturdy
Symmetry Breaking Systems, Ian Mac Donald
Symmetry Breaking ordering constraints, Zeynep Kiziltan

6:15-7:30

Stream A Kinsale Suite: Demo Session
See here for more details. (Finger-food and drinks will be provided.)

Stream B Harpoon Suite: Doctoral poster session
Poster will be on display. An author will be present at each poster display, to discuss the material.

7:30 Thai Cottage: Programme Committee Dinner (Thai food in the upstairs Thai-style dining room, with Thai dancing)

Friday, October 3

8:55-9:00: Kinsale Suite: Announcements

9:00-10:00 Kinsale Suite: Invited Talk, session chaired by Ulrich Junker

Constraint Patterns, Toby Walsh

10:00-10:15 Waterfront Bar: Coffee break

10:15-11:30

Stream A Kinsale Suite:
Session 11: Global constraints, session chaired by Jean-Charles Regin
Efficient CNF Encoding of Boolean Cardinality Constraints Olivier Bailleux and Yacine Boufkhad
Fast Bound Consistency for the Global Cardinality Constraint Irit Katriel and Sven Thiel
An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint Claude-Guy Quimper, Peter van Beek, Alejandro Lopez-Ortiz, Alexander Golynski and Sayyed Bashir Sadjad

Stream B Harpoon Suite:
Session 12: Search and new domains, session chaired by Christian Bessiere
A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stable Set Problem W. J. van Hoeve
Constraint Reasoning over Strings Keith Golden and Wanlin Pang
Greater Efficiency for Conditional Constraint Satisfaction Mihaela Sabin, Eugene C. Freuder and Richard J. Wallace

11:30-11:45 Waterfront Bar and Harpoon Suite Coffee Break

11:45-1:00

Stream A Kinsale Suite:
Session 13: Modelling, session chaired by Carmen Gervet
A Synthesis of Constraint Satisfaction and Constraint Solving Michael J. Maher
Redundant Modeling for the Quasigroup Completion Problem Ivan Dotu, Alvaro Del Val and Manuel Cebrian
Propagation Redundancy in Redundant Modelling C.W. Choi, J.H.M. Lee and P. J. Stuckey

Stream B Harpoon Suite:
Session 14: SAT, session chaired by Toby Walsh
Boosting Chaff's Performance by Incorporating CSP Heuristics Carlos Ansotegui, Jose Larrubia and Felip Manya
Solving Max-SAT As Weighted CSP Simon de Givry, Javier Larrosa, Pedro Meseguer and Thomas Schiex
A Wealth of SAT Distributions with Planted Assignments Tassos Dimitriou

1:00-2:00 Lunch break

2:00-2:15 Kinsale Suite: CP 2004 Presentation

2:15-3:15

Stream A Kinsale Suite: Tutorial, session chaired by Thomas Schiex
Dynamic Constraint Solving, Gérard Verfaillie, Narendra Jussien

Stream B Harpoon Suite: Doctoral Tutorial, session chaired by Barbara Smith
How to perform experiments, Ian Gent

3:15-3:30 Waterfront Bar and Harpoon Suite: Coffee break

3:30-4:45

Stream A Kinsale Suite:
Session 15: Applications, session chaired by Helmut Simonis
Generating High Quality Schedules for a Spacecraft Memory Downlink Problem Angelo Oddi, Nicola Policella, Amedeo Cesta and Gabriella Cortellessa
A Constraint-aided Conceptual Design Environment for Autodesk Inventor Alan Holland, Barry O'Callaghan, Barry O'Sullivan
HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care Stephane Bourdais, Philippe Galinier and Gilles Pesant

Stream B Harpoon Suite:
Doctoral Talks, session chaired by Michela Milano
Reformulation techniques for a class of permutation problems, Toni Mancini
Splitting the atom: A new approach to Neighborhood Interchangeability in CSPs, Chavalit Likitvivatanavong
A local filtering algorithm based on semantic decomposition of numerical CSP, H. Batnini
Simple Temporal Problems with Preferences and Uncertainty, Brent Venable
Optimizing the representation and evaluation of semiring combination constraints, Jerome Kelleher
Preference constraint: new global soft constraint dedicated to preference binary relations, Remi-Robert Joseph

Back to CP 2003 home-page

A disclaimer applies to this page. This page is not part of the official UCC website. This page is maintained to support the smooth running of the CP2003 conference.