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

09:00

Invited Talk: Optimizing preferences and social welfare in healthcare-related matching problems

    See presentations
Matching problems typically involve assigning agents to commodities, possibly on the basis of ordinal preferences or other metrics. These problems have large-scale applications to centralised matching schemes in many countries and contexts.

In this talk I will describe the matching problems featuring in two such schemes in the UK that have involved collaborations between the National Health Service and the University of Glasgow. One of these dealt with the allocation of junior doctors to Scottish hospitals (1999-2012), and the other is concerned with finding kidney exchanges among incompatible donor-patient pairs across the UK (2007-date). In each case I will describe the applications, present the underlying (NP-hard) algorithmic problems, outline the various solution techniques and give an overview of results arising from real data connected with the matching schemes in recent years.


Moderators
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 →

Speakers
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 →


Tuesday September 6, 2016 09:00 - 10:00
Grand Amphi Lascrosses building

10:30

Application Session (1)
    See presentations
  • 10:30-10:55 Emmanuel Hebrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan and Bertrand Cabon. Constraint Programming for Planning Test Campaigns of Telecommunication Satellites

  • 10:55-11:20 Xavier Lorca, Charles Prud'Homme, Aurélien Questel and Benoît Rottembourg. Using Constraint Programming for the Urban Transit Crew Rescheduling Problem

  • 11:20-11:45 Stefano Di Alesio. Optimal Performance Tuning in Real-Time Systems using Multi-Objective Constrained Optimization

  • 11:45-12:10 Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Jiwei Jin, Hai Liu and Jian Zhang.  SymOptimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search


Moderators
avatar for Willem-Jan van Hoeve

Willem-Jan van Hoeve

Carnegie Mellon University

Speakers
SD

Stefano Di Alesio

Simula Research Laboratory
avatar for Emmanuel Hebrard

Emmanuel Hebrard

Researcher, LAAS-CNRS
Emmanuel Hebrard is a viviparous mammal.
avatar for Xavier Lorca

Xavier Lorca

Mines-Nantes
FM

Feifei Ma

Institute of Software, Chinese Academy of Sciences



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

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

14:40

Computational Sustainability Session
    See presentation
  • 14:40-15:05 Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood and Carla Gomes. Behavior Identification in Two-stage Games for Incentivizing Citizen Science Exploration

  • 15:05-15:30 Boon Ping Lim, Hassan Hijazi, Sylvie Thiebaux and Menkes Van Den Briel. Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control


Moderators
avatar for Michela Milano

Michela Milano

Universita' di Bologna

Speakers
avatar for Carla Gomes

Carla Gomes

Professor, Cornell University
avatar for Boon-Ping Lim

Boon-Ping Lim

ANU / Data61


Tuesday September 6, 2016 14:40 - 15:30
Grand Amphi Lascrosses building

14:40

Music Session (1)
    See presentations
  • 14:40-15:05 Pierre Roy, Guillaume Perez, Jean-Charles Regin, Alexandre Papadopoulos, Francois Pachet and Marco Marchini.  Enforcing Structure on Temporal Sequences: the Allen Constraint

  • 15:05-15:30 Alexandre Papadopoulos, Pierre Roy and Francois Pachet. Assisted Lead Sheet Composition using FlowComposer


Moderators
avatar for Justin Pearson

Justin Pearson

Senior Lecturer, Uppsala universitet
Justin Pearson is a senior lecturer(Docent) at the department of IT at Uppsala University. His main focus of research is on constraint programming, its theory, its implementation through propagator design, and its applications. He has worked on applications of constraint programming... Read More →

Speakers
avatar for François Pachet

François Pachet

Sony Europe Limited
PR

Pierre Roy

Researcher, Sony Europe Limited


Tuesday September 6, 2016 14:40 - 15:30
Amphi Bosco Bosco building

16:00

Music Session (2)
    See presentations
  • 16:00-16:25 John Hooker. Finding Alternative Musical Scales

  • 16:25-16:50 Tsubasa Tanaka, Brian Bemman and David Meredith. Constraint programming formulation of the problem of generating Milton Babbitt's all-partition arrays

Moderators
avatar for Charlotte Truchet

Charlotte Truchet

Maître de conférence, University of Nantes

Speakers
BB

Brian Bemman

Aalborg University
avatar for John Hooker

John Hooker

Carnegie Mellon University
avatar for Tsubasa Tanaka

Tsubasa Tanaka

Postdoctoral Researcher, IRCAM


Tuesday September 6, 2016 16:00 - 16:50
Amphi Bosco Bosco 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

Journal-First and Sister Conferences Session (1): Symmetries
    See presentations
  • 16:50-17:15 Jimmy Lee and Zichen Zhu. Boosting SBDS for Partial Symmetry Breaking in Constraint Programming

  • 17:15-17:40 Jimmy Lee and Zichen Zhu. Breaking More Composition Symmetries Using Search Heuristics

Moderators
Speakers
avatar for Jimmy Lee

Jimmy Lee

The Chinese University of Hong Kong
ZZ

Zichen Zhu

The Chinese University of Hong Kong


Tuesday September 6, 2016 16:50 - 17:40
Amphi Bosco Bosco 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
 

08:45

Invited Talk: Horn Constraints for Software Verification and Synthesis
    See presentations
We will show how Horn constraints can be used to describe verification and synthesis problems, and how such constraints can be solved efficiently. In particular we will demonstrate how cardinality operators help to reason about quantitative properties and carry out counting-based correctness arguments, which are useful for the verification of information flow properties and parametrized systems.

Moderators
avatar for Pierre  Flener

Pierre Flener

Uppsala Universitet

Speakers
avatar for Andrey Rybalchenko

Andrey Rybalchenko

Senior Researcher, Microsoft Research
Andrey Rybalchenko is a senior researcher at Microsoft Research. He focuses on automated methods and tools for formal software and network verification. In the past, Andrey was a professor at Technische Universität München, a researcher at Max Planck Institute for Software Systems... Read More →


Wednesday September 7, 2016 08:45 - 09:45
Grand Amphi Lascrosses building

11:15

Preferences, Social Choice, and Constraints Session
    See presentations
  • 11:15:11:40 Ferdinando Fioretto, William Yeoh and Enrico Pontelli. A Dynamic Programming-based MCMC Framework for Solving DCOPs with GPUs

  • 11:40-12:05 Ciaran McCreesh, Patrick Prosser and James Trimble. Morphing between Stable Matching Problems

Moderators
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 →

Speakers
avatar for Ferdinando Fioretto

Ferdinando Fioretto

New Mexico State University
avatar for Patrick Prosser

Patrick Prosser

University of Glasgow


Wednesday September 7, 2016 11:15 - 12:05
Amphi Bosco Bosco building

11:15

Testing and Verification Session
    See presentations
  • 11:15-11:40 Xiaojun Sun, Irina Ilioaea, Priyank Kalla and Florian Enescu. Finding Unsatisfiable Cores of a Set of Polynomials using the Groebner Basis Algorithm

  • 11:40-12:05 Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko and Michael Veksler. Using Graph-Based CSP to Solve the Address Translation Problem

Moderators
Speakers
YB

Yael Ben-Haim

IBM Research
avatar for Xiaojun Sun

Xiaojun Sun

University of Utah


Wednesday September 7, 2016 11:15 - 12:05
Grand Amphi Lascrosses building

13:35

Application Session (2)
    See presentations
  • 13:35-14:00 Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio and Claude-Guy Quimper. Four-Bar Linkage Synthesis Using Non-Convex Optimization

  • 14:00-14:25 Robinson Duque, Alejandro Arbelaez and Juan Francisco Díaz. SABIO: An Implementation of MIP and CP for Interactive Soccer Queries

  • 14:25-14:50 Samir Sebbah, Claire Bagley, Mike Colena and Serdar Kadioglu. Service Availability Optimization in Cloud-Based In-Memory Data Grids

Moderators
avatar for Louis-Martin Rousseau

Louis-Martin Rousseau

Professor, CIRRELT - École Polytechnique

Speakers
RD

Robinson Duque

Universidad del Valle
avatar for Vincent Goulet

Vincent Goulet

Masters Student, Université Laval
avatar for Serdar Kadioglu

Serdar Kadioglu

R&D Manager, Oracle Corporation


Wednesday September 7, 2016 13:35 - 14:50
Grand Amphi Lascrosses building

13:35

Journal-First and Sister Conferences session (2): Consistencies
    See presentations
  • 13:35-14:00 Martin Cooper and Stanislav Živný. The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

  • 14:00-14:25 Chavalit Likitvivatanavong, Wei Xia and Roland H. C. Yap. Decomposition of the Factor Encoding for CSPs

  • 14:25-14:50 Christophe Lecoutre, Chavalit Likitvivatanavong and Roland Yap. STR3: A Path-Optimal Filtering Algorithm for Table Constraints

Moderators
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 →

Speakers
avatar for Martin Cooper

Martin Cooper

IRIT, University of Toulouse 3
avatar for Roland Yap

Roland Yap

National University of Singapore


Wednesday September 7, 2016 13:35 - 14:50
Amphi Bosco Bosco building

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
 

08:45

Invited Talk: Optimization and Control in the Smart Grid and Beyond
   See presentations
The world's electrical energy system is transforming, evolving from a "top-down" purely physics-driven process to a digital, interconnected system with bidirectional control. This new electrical grid, broadly referred to as the smart grid, offers many opportunities for advanced optimization and AI techniques to play a transformational role. This talk will highlight some general themes and optimization problems that arise frequently in these settings, and also discuss some of our work on general stochastic control approaches in these settings. I will then close by discussing some broad themes in general-purpose optimization, inspired by the smart grid setting, but with general applicability to a wide range of problems.

Moderators
avatar for Pascal Van Hentenryck

Pascal Van Hentenryck

Professor, University of Michigan
Pascal Van Hentenryck is the Seth Bonder Collegiate Professor of Engineering at the University of Michigan. He is also Professor of Industrial and Operations Engineering, Professor of Electrical Engineering and Computer Science, and Core Faculty of the Michigan Institute of Data Science... Read More →

Speakers
avatar for Zico Kolter

Zico Kolter

Assistant Professor, Carnegie Mellon University
Zico Kolter is an Assistant Professor in the School of Computer Science at Carnegie Mellon University, with appointments in the Computer Science Department, the Institute for Software Research (in the Societal Computing program), and affiliated appointments with the Machine Learning... Read More →


Thursday September 8, 2016 08:45 - 09:45
Grand Amphi Lascrosses building

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

13:30

Application Session (3)
    See presentations
  • 13:30-13:55 Katherine Giles and Willem-Jan Van Hoeve. Solving a Supply-Delivery Scheduling Problem with Constraint Programming

  • 13:55-14:20 David Gerault, Marine Minier and Christine Solnon. Constraint Programming Models for Chosen Key Differential Cryptanalysis

Moderators
avatar for Nicolas Beldiceanu

Nicolas Beldiceanu

Mines Nantes (Armines)

Speakers

Thursday September 8, 2016 13:30 - 14:20
Amphi Bosco Bosco building

13:30

CP and Biology Session
    See presentations
  • 13:30-13:55 Clément Viricel, David Simoncini, Thomas Schiex and Sophie Barbe. Guaranteed Weighted Counting for Affinity Computation: beyond Determinism and Structure

  • 13:55-14:20 Ludwig Krippahl and Pedro Barahona. Improving protein docking with redundancy constraints

Moderators
avatar for Agostino Dovier

Agostino Dovier

University of Udine

Speakers
avatar for Pedro Barahona

Pedro Barahona

Universidade NOVA de Lisboa
avatar for Clément Viricel

Clément Viricel

PhD Student, INRA



Thursday September 8, 2016 13:30 - 14:20
Grand Amphi Lascrosses building

14:20

Doctoral Research Award: Andre Augusto Cire

    See presentations
The ACP Doctoral Research Award is awarded every year to a promising young researcher working in the area of constraint programming and who defended his/her thesis between January and December of the previous two years. The award, in the form of a certificate, will be presented at the CP conference, where the winning researcher will present a talk on the topic of his/her doctoral dissertation.

Previous recipients of this award are:

  • 2015 Jean-Guillaume Fages & Anastasia Paparrizou
  • 2014 David Bergman
  • 2013 Tias Guns
  • 2012 Geoffrey Chu
  • 2011 Stanislav Zivny
  • 2010 Guido Tack
  • 2009 Christopher Jefferson
  • 2008 Claude-Guy Quimper

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 André Augusto Ciré

André Augusto Ciré

University of Toronto



Thursday September 8, 2016 14:20 - 14:45
Grand Amphi Lascrosses building

14:45

Distinguished Service Award: Thomas Schiex

    See presentations
The purpose of this award is to celebrate those CP community members who have made exceptional contributions to the CP community. Areas of service could include, but are not limited to: association service, service as an editor, conference organisation, representation of CP in other organizations, etc, resulting in positive effects on the field of CP.

Previous recipients of this award are:

  • 2014 Barry O'Sullivan
  • 2012 Eugene C. Freuder
  • 2010 Francesca Rossi

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 Thomas Schiex

Thomas Schiex

Researcher, INRA
Thomas Schiex works at the intersection of constraint programming, discrete graphical model optimization and their applications in biology. He is (softly) leading the bioinformatics team at INRA Toulouse and is also the conference chair of CP 2016 (with the support of several Toulouse... Read More →


Thursday September 8, 2016 14:45 - 15:00
Grand Amphi Lascrosses building
 
Friday, September 9
 

09:00

Invited Talk: Evidence-Based Optimization of Complex Infrastructures
    See presentations
For the first time in the history of humankind, we are accumulating data sets of unprecedented scale and accuracy about physical infrastructures, natural phenomena, man-made processes, and human behavior. These developments, together with progress in high-performance computing, predictive models, and operations research, offer novel opportunities for optimizing complex infrastructures holistically. We present some exciting projects in evidence-based optimization and highlight some challenges and opportunities for constraint programming in this space.

Moderators
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 →

Speakers
avatar for Pascal Van Hentenryck

Pascal Van Hentenryck

Professor, University of Michigan
Pascal Van Hentenryck is the Seth Bonder Collegiate Professor of Engineering at the University of Michigan. He is also Professor of Industrial and Operations Engineering, Professor of Electrical Engineering and Computer Science, and Core Faculty of the Michigan Institute of Data Science... Read More →


Friday September 9, 2016 09:00 - 10:00
Grand Amphi Lascrosses building

10:30

Journal-First and Sister Conferences session (3): MIP, relaxations
    See presentations
  • 10:30-10:55 Giovanni Di Liberto, Serdar Kadioglu, Kevin Leo and Yuri Malitsky. DASH: Dynamic Approach for Switching Heuristics

  • 10:55-11:20 Cristinca Fulga. AHP based portfolio selection with risk preference modeling

  • 11:20-11:45 Kyle E. C. Booth, Tony T. Tran, Goldie Nejat and Chris Beck. Mixed-Integer and Constraint Programming Techniques for Mobile Robot Task Planning

  • 11:45-12:10 Adrian Weller, Mark Rowland and David Sontag. Tightness of LP relaxations for almost balanced models

Moderators
avatar for Guido Tack

Guido Tack

Monash University

Speakers
avatar for Kyle Booth

Kyle Booth

University of Toronto
avatar for Cristinca Fulga

Cristinca Fulga

Professor, Bucharest University of Economic Studies
avatar for Serdar Kadioglu

Serdar Kadioglu

R&D Manager, Oracle Corporation
MR

Mark Rowland

PhD Student, University of Cambridge
I'm a PhD student at Cambridge University, interested in Monte Carlo techniques, optimal transport, and inference in graphical models.


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

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