The 19th International Conference on
Principles and Practice of
Constraint Programming
Uppsala, Sweden
September 16-20, 2013

Doctoral Program


The Doctoral Program proceedings are available online as one PDF.


Each student presentation is approximately 10 minutes. This schedule is tentative and might be subject to slight changes.
First Session (9:00 - 10:30)
Energy optimization in metro timetables using CMA-ES David Fournier
SAT Encodings for the Car Sequencing Problem Valentin Mayer-Eichberger
Explaining the AtMostSeqCard constraint Mohamed Siala
Augmenting a CSP Portfolio with SAT Representations and Solvers Barry Hurley
Solving Subgraph Epimorphism Problems using CLP and SAT Steven Gay
Instance Generation for Constraint Model Selection Bilal Syed Hussain
Second Session (11:00 - 12:30)
Translating the At-Most-One Constraint into SAT Van-Hau Nguyen
Sampling Techniques for Boolean Satisfiability Kuldeep Meel
The Bi-Objective Pareto Constraint Renaud Hartert
A Compression Method for STR Nebras Gharbi
Solving WCSP by Extraction of Minimal Unsatisfiable Cores Nicolas Paris
A Global Acyclicity Constraint for Bayesian Network Structure Learning Hella Hoffmann
The Energetic Reasoning Checker Revisited Alban Derrien
Third Session (14:00 - 15:30)
Tutorial (1 hour) Peter Stuckey
Dynamic and Probabilistic CP-nets Cristina Cornelio
Including Qualitative Spatial Knowledge in the Sense-Plan-Act Loop Masoumeh Mansouri
Fourth Session (16:00 - 18:00)
Explanation-Guided Large Neighborhood Search Charles Prud'homme
Alternative Job-Shop Scheduling For Proton Therapy Cyrille Dejemeppe
Constraint-based scheduling and planing in medical facilities with BPMN Denny Schneeweiss
Modeling Deterministic Spacecraft Networks with Constraint Programming Dave Gibson
Table Constraints in Clause Learning CSP Solvers Ozan Erdem
Towards representing Games in Constraint Programming Thi-Van-Anh Nguyen
Boosting weighted CSP resolution with BDDs Miquel Palahi
Constructing problem-specific constraint solvers using Monte Carlo Tree Search Ar┼źnas Prokopas
Hybrid CP+LNS for the Curriculum-Based Course Timetabling Problem Tommaso Urli
Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search Ka Man Lei

Call for Papers

As part of the 2013 International Conference on Principles and Practice of Constraint Programming, we are inviting PhD and MSc students to apply for the Doctoral Program (DP). The DP is an opportunity for current students to meet each other as well as researchers in the field. Participation in the Doctoral Program will involve:

  • Presentation of the student work via both talk and poster.
  • Discussions with a mentor with similar research interests.
  • Free accommodation for the duration of the CP 2013 conference, including free breakfast.
  • Free conference registration.
  • Free doctoral program dinner.

Eligibility and Applications

The program is open to all PhD and outstanding MSc students involved in Constraint Programming or related fields at any level.

Applicants are required to submit a short paper (no more than 6 pages) in the Springer LNCS Style and the author list should specify who is the student and who are the supervisor(s)/co-authors. Submissions are required to be in either PostScript or PDF format.

Papers should be submitted at

Deadline extended to 30th of June
Submission deadline 30th of June 2013
Notification deadline 1st of August 2013
Camera ready deadline 15th of August 2013
Doctoral Program 16th of September 2013

The paper should contain original unpublished work which is primarily the work of the student. It can either be completed or in progress. The papers will be available on the conference webpage ( after the conference.

We will not accept any paper which, at the time of submission, has already been published in a journal or formal conference proceedings. This restriction does not apply to work that has appeared in workshops and similar specialized presentations with a limited audience and without archival proceedings and to papers published in 2013. Papers that have been submitted elsewhere but not yet published and papers published in 2013 are acceptable; if this is the case, please mention it on the DP submission. Please feel free to contact the chairs if there are any questions on eligibility.

Students with full or short papers accepted to the CP 2013 conference technical program, including both technical and application track papers, who wish to participate in the Doctoral Program do not need to submit a separate paper for the DP. Instead, such students should email the DP chairs expressing their interest. This email should also include the paper title, abstract, author list and the number that the accepted paper was given by EasyChair.

All students applying for the Doctoral Program need their supervisor(s) to send a letter of recommendation to The email should detail:

  • the student's area of work.
  • the supervisor's support of the student's application.
    • This part should include a confirmation that DP submission or a paper accepted to CP2013 is primarily the student's work. This confirmation is one of the critical points for the decision on the application.
  • the expected completion date for the student.
  • the reason for wanting to attend the doctoral program.
  • whether or not the student has previously been to the doctoral program and/or received financial assistance, and how many times.

It is a responsibility of the student to make sure that the letter from their supervisor(s) is submitted by the submission deadline date, 25th of June 2013.

Financial Support

All participants will be provided with free conference registration, free accommodation, including free breakfast, from Sunday 15th September, to Friday 20th September, and a free ticket to the doctoral program students' dinner. There is no support for travel expenses. If there are insufficient funds to provide this for all DP participants, preference will be given to students who have not previously participated in the CP Doctoral Program.

Program Committee

The Doctoral Program chairs are:

If you have any questions, please feel free to contact both Christopher and Nina via the CP Doctoral Program 2013 email address:

The other members of the Program Committee are:

  • Lucas Bordeaux, Microsoft Research
  • Geoffrey Chu, NICTA, Australia
  • Stefano Gualandi, University of Pavia
  • Willem-Jan Van Hoeve, Tepper School of Business, Carnegie Mellon University
  • Chris Jefferson, University of St. Andrews, UK
  • George Katsirelos, INRA - Toulouse
  • Michele Lombardi, DEIS, University of Bologna, Italy
  • Peter Nightingale, University of St. Andrews, UK
  • Claude-Guy Quimper, Universite Laval
  • Andrea Rendl, AIT Austrian Institute of Technology, Austria
  • Andreas Schutt, NICTA, Australia
  • Meinolf Sellmann, IBM Watson Research Center
  • Guido Tack, Monash University
  • Standa Zivny, University of Warwick, UK