CP 2005 |
October 1 - 5, 2005 |
Doctoral Programme is a forum held during the CP conference which provides an opportunity for a group of Ph.D. students to achieve visibility and discuss their research interests and career objectives with each other and established researchers in Constraint Programming. After successful Doctoral Programmes in previous years, it is being run again this year for the fifth time.
The aims of the Doctoral Programme are the following:
The programme consist of presentations and posters of the students who do not have any paper/poster accepted at the main technical programme, and tutorials given by senior researchers in the field. In addition, each student is matched to a mentor who is a senior researcher with similar research interests and who can advise the student on his/her research progress. Finally, a doctoral dinner is organised to bring together the students in an informal gathering.
The hotel is very close to the train station. Take the Francesc Gum? street (just in front of the train station) and go until the end. Then you find the Jesus street. The hotel is on that street, on the right.
Saturday Oct. 1
Session chair: Hadrien Cambazard
17:00 - 17:15 Solving Over-Constrained Problems with SAT, Josep Argelich
17:15 - 17:30 Using Constraint Programming for Solving Distance CSP with uncertainty, Carlos Grandon
17:30 - 17:45 Encoding HTN Planning as a Dynamic CSP, Pavel Surynek
17:45 - 18:00 Statistical modelling of CSP solving algorithms performance, Carles Mateu
18:00 - 18:15 Robust constraint solving using multiple heuristics, Alfio Vidotto
18:15 - 18:30 Improved algorithm for finding (a,b)-super solutions, Emmanuel Hebrard
Sunday Oct. 2
Session chair: Zeynep Kiziltan
10:30 - 11:20 Tutorial: How to write a good paper, Toby Walsh, NICTA and University of News South Wales (Australia)
11:20- 11:25 Short Break
Session chair: Magnus Agren
11:25 - 11:40 Applying Decomposition Methods to Crossword Puzzle Problems, Yaling Zheng
11:40 - 11:55 Partial Redundant Modeling, Tiziana Ligorio
11:55 - 12:10 Towards the Systematic Generation of Channelling Constraints, Bernadette Martinez-Hernandez
12:10 - 12:25 Domain Reduction for the Circuit Constraint, Latife Genc Kaya
12:25 - 12:40 From Linear Relaxations to Global Constraint Propagation, Claude-Guy Quimper
12:40 - 14:05 Conference Opening Reception
14:05 - 15:30 Conference Tutorials
15:30 - 16:00 Coffee Break
Session chair: Roland Martin
16:00 - 16:15 LP as a Global Search Heuristic Across Different Constrainedness Regions, Lucian Leahu
16:15 - 16:30 Sheduling Social Tournaments , Ivan Dotu
16:30 - 16:45 Scheduling with uncertain release dates, Christine Wei Wu
16:45 - 17:00 Methods to Learn Abstract Scheduling Models, Tom Carchrae
17:00 - 17:15 Distributed Constraints for Large-Scale Scheduling Problems, Montserrat Abril
17:15 - 17:30 Probabilistic Arc Consistency, Deepak Mehta
17:30 - 17:45 Consistency for Partially Defined Constraints, Andrei Legtchenko
Monday Oct. 3
Session chair: Enrico Pontelli
14:45 - 15:45 Tutorial: Publishing Papers and the Publication Process, Andy King, University of Kent (UK)
Dimensionning an inbound call center using constraint programming, Cyril Canon
Local Consistency in Weighted CSPs and Inference in Max-SAT, Federico Heras
Constraint-Based Inference: A Bridge between Constraint Processing and Probability Inference, Le Chang
Speeding up constrained path solvers with a reachability propagator, Luis Quesada
A Constraint Based Agent for TAC-SCM, David Burke
Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains, Josef Zlomek
GOOSE -- A generic object-oriented search environment, Henry Müller
Solving the Car-Sequencing Problem as a Non-binary CSP, Mihaela Butaru
Randomization for Multi-agent Constraint Optimization, Quang-Huy Nguyen
Specialised Constraints for Stable Matching Problems, Chris Unsworth
Bounds-Consistent Local Search, Stefania Verachi
Automated Search for Heuristic Functions, Pavel Cejnar
Modeling Constraint Programs with Software Technology Standards, Matthias Hoche
Mechanism Design for Preference Aggregation over Coalitions, Eric Hsu
Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems, Christopher Houghton
Subnet Generation Problem: A New Network Routing Problem, Cheuk Fun Bede Leung
Weak Symmetries in Problem Formulations, Roland Martin
The Role of Redundant Clauses in Solving Satisfiability Problems, Honglei Zeng
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems, Radu Marinescu
Organizing Committee:
Roman Bartak, Charles University, Czech
Republic
Ian Gent, University of St. Andrews, U.K.
Carla Gomes,
Cornell University, U.S.A.
Brahim Hnich, 4C, University College Cork,
Ireland
Javier Larrosa, Universitat Politècnica de Catalunya, Spain
Gilles Pesant, École Polytechnique de Montréal, Canada
Meinolf
Sellmann, Brown University, U.S.A.
Toby Walsh, University of New South
Wales, Australia