Loading…
CP 2016 has ended
Conference [clear filter]
Tuesday, September 6
 

10:30

Technical Session (1): Theory
    See presentations
  • 10:30-10:55 David Cohen and Peter Jeavons. The Power of Propagation: When GAC is Enough

  • 10:55-11:20 Dominik Scheder, Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin Moser and May Szedlak. The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors

  • 11:20-11:45 Martin Cooper, Achref El Mouelhi and Cyril Terrioux. Broken Triangles, Yet Again

  • 11:45-12:10 Robert Ganian, Ramanujan M. S. and Stefan Szeider. Backdoors to Tractable Valued CSP

Moderators
avatar for Christine Solnon

Christine Solnon

LIRIS / INSA Lyon

Speakers
avatar for Martin Cooper

Martin Cooper

IRIT, University of Toulouse 3
avatar for Raghuram Ramanujan

Raghuram Ramanujan

Davidson College
avatar for Dominik Scheder

Dominik Scheder

Shanghai Jiaotong University


Tuesday September 6, 2016 10:30 - 12:10
Grand Amphi Lascrosses building

16:00

Technical Session (2): MaxSAT
    See presentations
  • 16:00-16:25 Jack Goffinet and Raghuram Ramanujan. Monte-Carlo Tree Search for the Maximum Satisfiability Problem

  • 16:25-16:50 Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev and Mayur Naik. On Incremental Core-Guided MaxSAT Solving

Moderators
Speakers
JG

John Goffinet

Davidson College
AI

Alexey Ignatiev

University of Lisbon


Tuesday September 6, 2016 16:00 - 16:50
Grand Amphi Lascrosses building

16:50

Technical Session (3): Global constraints
    See presentations
  • 16:50-17:15 Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin and Pierre Schaus. Compact-Table: efficiently filtering table constraints with reversible sparse bit-sets

  • 17:15-17:40 Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere and Patrice Boizumault. A global constraint for closed itemset mining

Moderators
avatar for Mats Carlsson

Mats Carlsson

SICS
Global constraints.

Speakers
avatar for Nadjib Lazaar

Nadjib Lazaar

LIRMM - University of Montpellier
avatar for Pierre Schaus

Pierre Schaus

UCLouvain


Tuesday September 6, 2016 16:50 - 17:40
Grand Amphi Lascrosses building
 
Wednesday, September 7
 

15:20

Technical Session (4): Theory
    See presentations
  • 15:20-15:45 Joshua Blinkhorn and Olaf Beyersdorff. Dependency Schemes in QBF Calculi: Semantics and Soundness

  • 15:45-16:10 Michael Codish, Graeme Gange, Avi Itzhakov and Peter J. Stuckey. Breaking Symmetries in Graphs: The Nauty Way

  • 16:10-16:35 David Bergman and André Augusto Ciré. Multiobjective Optimization by Decision Diagrams

Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
JB

Joshua Blinkhorn

University of Leeds
avatar for André Augusto Ciré

André Augusto Ciré

University of Toronto
avatar for Michael Codish

Michael Codish

Ben Gurion University


Wednesday September 7, 2016 15:20 - 16:35
Grand Amphi Lascrosses building

15:20

Technical Session (5): Global constraints, learning
    See presentations
  • 15:20-15:45 Clément Carbonnel and Emmanuel Hebrard. Constraint Propagation via Kernelization

  • 15:45-16:10 Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Maria Andreina Francisco Rodriguez, Justin Pearson and Helmut Simonis. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

  • 16:10-16:35 Emilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper and Jason Sweeney. Learning parameters for the Sequence constraint from positive examples

Moderators
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University

Speakers
avatar for Ekaterina Arafailova

Ekaterina Arafailova

PhD Student, Armines (Mines Nantes)
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.
avatar for Émilie Picard-Cantin

Émilie Picard-Cantin

PhD student, Université Laval



Wednesday September 7, 2016 15:20 - 16:35
Amphi Bosco Bosco building

16:35

Technical Session (6): SAT
    See presentations
  • 16:35-17:00 Jeremias Berg and Matti Järvisalo. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

  • 17:00-17:25 Gilles Audemard, Jean Marie Lagniez, Nicolas Szczepanski and Sebastien Tabary. An adaptive parallel SAT solver

Moderators
Speakers
avatar for Gilles Audemard

Gilles Audemard

CRIL, France
avatar for Jeremias Berg

Jeremias Berg

University of Helsinki


Wednesday September 7, 2016 16:35 - 17:25
Grand Amphi Lascrosses building

16:35

Technical Session (7): Parallelism, temporal constraints
    See presentations
  • 16:35-17:00 Anthony Palmieri, Jean-Charles Régin and Pierre Schaus. Parallel Strategies Selection Strategy, strategy selection, algorithm selection, parallelism

  • 17:00-17:25 Luke Hunsberger and Roberto Posenato. A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks

Moderators
Speakers
avatar for Luke Hunsberger

Luke Hunsberger

Vassar College
avatar for Pierre Schaus

Pierre Schaus

UCLouvain


Wednesday September 7, 2016 16:35 - 17:25
Amphi Bosco Bosco building
 
Thursday, September 8
 

10:15

Best Papers
   See presentations
  • 10:15-10:40 Krishnamurthy Dvijotham, Pascal Van Hentenryck, Michael Chertkov, Sidhant Misra and Marc Vuffray. Graphical models for optimal power flow

  • 10:40-11:05 David Manlove, Iain McBride and James Trimble. "Almost-stable" matchings in the Hospitals / Residents problem with Couples

  • 11:05-11:30 Clément Carbonnel. The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable

  • 11:30-11:55 Kyle E. C. Booth, Goldie Nejat and J. Christopher Beck. A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes

Moderators
avatar for Laurent Michel

Laurent Michel

Associate Professor, University of Connecticut
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete... Read More →

Speakers
avatar for Kyle Booth

Kyle Booth

University of Toronto
avatar for Krishnamurthy Dvijotham

Krishnamurthy Dvijotham

California Institute of Technology
avatar for David Manlove

David Manlove

Senior Lecturer, University of Glasgow
David Manlove is a Senior Lecturer in Computing Science at the University of Glasgow, where he has been since 1995. He is interested in algorithms for problems involving matching agents to commodities (e.g., junior doctors to hospitals, kidney patients to donors) in the presence of... Read More →



Thursday September 8, 2016 10:15 - 12:00
Grand Amphi Lascrosses building
 
Friday, September 9
 

10:30

Technical Session (8): Scheduling
    See presentations
  • 10:30-10:55 Alessio Bonfietti, Michele Lombardi, Alessandro Zanarini and Michela Milano. The Multirate Resource Constraint

  • 10:55-11:20 Andreas Schutt and Peter J. Stuckey. Explaining Producer/Consumer Constraints

  • 11:20-11:45 Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette and Pierre Schaus. Efficient Filtering for the Unary Resource with Family-based Transition Times

Moderators
avatar for Chris Beck

Chris Beck

Professor, University of Toronto

Speakers
avatar for Michela Milano

Michela Milano

Universita' di Bologna
avatar for Pierre Schaus

Pierre Schaus

UCLouvain
avatar for Peter Stuckey

Peter Stuckey

Professor, University of Melbourne and Data61
Peter Stuckey is a Professor in Computer Science at the University of Melbourne. His research interests focus on constraints and constraint solving, which has widespread use in discrete optimization, program analysis, constraint based graphics, and bioinformatics. He has a long standing... Read More →


Friday September 9, 2016 10:30 - 12:10
Grand Amphi Lascrosses building

13:40

Technical Session (10): Learning, decomposition
    See presentations
  • 13:40-14:05 Thibaut Feydy and Peter J. Stuckey. Interval Constraint with Learning : Application to Air Traffic Control

  • 14:05-14:30 Maxim Shishmarev, Christopher Mears, Maria Garcia De La Banda and Guido Tack. Learning from Learning Solvers

  • 14:30-14:55 Philippe Jégou, Hanan Kanso and Cyril Terrioux, Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size

  • 14:55-15:20 Diego de Uña, Graeme Gange, Peter Schachte and Peter J. Stuckey. A Bounded Path Propagator on Directed Graphs


Moderators
avatar for Christian Bessiere

Christian Bessiere

CNRS, University of Montpellier

Speakers
avatar for Michael Codish

Michael Codish

Ben Gurion University
avatar for Hanan Kanso

Hanan Kanso

Laboratoire LSIS
MS

Maxim Shishmarev

Monash University
avatar for Diego de Uña

Diego de Uña

Ph.D. Student, University of Melbourne


Friday September 9, 2016 13:40 - 15:20
Amphi Bosco Bosco building

13:40

Technical Session (9): Modelling, MIP
    See presentations
  • 13:40-14:05 Harsha Nagarajan, Mowen Lu, Emre Yamangil and Russell Bent. Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning

  • 14:05-14:30 Wen-Yang Ku and Chris Beck. Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems

  • 14:30-14:55 Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser and Christine Solnon. Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems

  • 14:55-15:20 Gleb Belov, Peter Stuckey, Guido Tack and Mark Wallace. Improved Linearization of Constraint Programming Models

Moderators
Speakers
avatar for Chris Beck

Chris Beck

Professor, University of Toronto
avatar for Ciaran McCreesh

Ciaran McCreesh

University of Glasgow
avatar for Harsha Nagarajan

Harsha Nagarajan

Los Alamos National Laboratory
avatar for Guido Tack

Guido Tack

Monash University


Friday September 9, 2016 13:40 - 15:20
Grand Amphi Lascrosses building

15:30

Technical Session (11): SAT, SMT
    See presentations
  • 15:30-15:55 Alexey Ignatiev, Alessandro Previti and Joao Marques-Silva. On Finding Minimum Satisfying Assignments

  • 15:55-16:20 Ozgur Akgun, Ian Gent, Christopher Jefferson, Ian Miguel and Peter Nightingale. Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

Moderators
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.

Speakers
AI

Alexey Ignatiev

University of Lisbon
avatar for Peter Nightingale

Peter Nightingale

University of St Andrews


Friday September 9, 2016 15:30 - 16:20
Grand Amphi Lascrosses building

15:30

Technical Session (12): scheduling
    See presentations
  • 15:30-15:55 Alexander Tesch. A Nearly Exact Propagation Algorithm for Energetic Reasoning in O(n²·log n)

  • 15:55-16:20 Ria Szeredi and Andreas Schutt. Modelling and Solving Multi-Mode Resource-Constrained Project Scheduling

Moderators
avatar for Chris Beck

Chris Beck

Professor, University of Toronto

Speakers
RS

Ria Szeredi

Student, University of Melbourne and Data61, CSIRO
avatar for Alexander Tesch

Alexander Tesch

Zuse Institute Berlin


Friday September 9, 2016 15:30 - 16:20
Amphi Bosco Bosco building