CP 2016 has ended
Back To Schedule
Monday, September 5 • 10:30 - 12:00
Doctoral Programme
    See presentations
  • 10:30: Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control, Boon Ping Lim, Hassan Hijazi, Sylvie Thiebaux and Menkes van Den Briel
  • 10:35: Evaluation of New Branching Heuristic for Tie-breaking, Seongsoo Moon and Mary Inaba
  • 10:50: SABIO: An Implementation of MIP and CP for Interactive Soccer Queries, Robinson Duque, Juan Francisco Diaz and Alejandro Arbelaez
  • 10:55: Using CP and ILP with tree decomposition to solve the sum colouring problem, Maël Minot, Samba Ndojh Ndiaye and Christine Solnon
  • 11:10: Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints, Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson and Helmut Simonis
  • 11:15: Symbolic reasoning for constraint solvers with arrays, Quentin Plazar, Sebastien Bardin, Arnaud Gotlieb and Mathieu Acher
  • 11:30: A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes, Kyle E. C. Booth, Goldie Nejat and Chris Beck
  • 11:35: An Exact Algorithm for Unicost Set Covering, Emir Demirović, Nysret Musliu, Katsumi Inoue and Théo Le Calvar
  • 11:50: Morphing between Stable Matching Problems, Ciaran McCreesh, Patrick Prosser and James Trimble
  • 11:55: An adaptive parallel SAT solver, Nicolas Szczepanski, Jean-Marie Lagniez, Sebastien Tabary and Gilles Audemard

avatar for Tias Guns

Tias Guns

Post-Doc, KU Keuven

avatar for Ekaterina Arafailova

Ekaterina Arafailova

PhD Student, Armines (Mines Nantes)
avatar for Kyle Booth

Kyle Booth

University of Toronto

Robinson Duque

Universidad del Valle
avatar for Boon-Ping Lim

Boon-Ping Lim

ANU / Data61
avatar for Maël Minot

Maël Minot


Seongsoo Moon

Dotoral course, University of Tokyo

Quentin Plazar

Inria Rennes Bretagne-Atlantique
avatar for Nicolas Szczepanski

Nicolas Szczepanski


James Trimble

University of Glasgow

Monday September 5, 2016 10:30 - 12:00
Amphi Bosco Bosco building

Attendees (5)