22ndInternationalConferenceon

PrinciplesandPracticeof

ConstraintProgramming

Programme

September5–9

Toulouse,France

Clueless

puzzle

rules:

solutio

nsare

integ

erlatin

squares

whose

“reg

ions”

allhave

thesamesum

http://www.math.smith.edu/~jhenle/clueless

DinnersM

ap

TheGuideMichelin

andtheFourchette

(aka

thefork.com)Web

sitessuggestmanyplacesforyourdinnersnear

theConference

(see

theCP’16Web

site,then

goto

Tou

louse

>Accom

odationfortheWeb

linksandap

ps).

ReservedSocial

Dinnerswilltakeplace

there:

1Toulouse

BusinessSchool:

Mainlocation

oftheconference.

20,Bou

levard

Lascrosses,GPS:43.609515,1.430812

2Le7,place

Saint-Sernin:Con

figurationworkshop

dinner

(Mon

day).

7,place

Saint-Sernin,GPS:43.60888,1.4415

3Brasserie

FLO:Doctoralprogrammedinner

(Mon

day

).

1quai

dela

Daurade,

GPS:43.59975,1.44055

4LeGenty

Magre:ACP

dinner

(Tuesday).

3,rueGenty

Magre,GPS:43.60149,1.44521

5LaPopote:

SeniorPC

dinner

(Wednesday).

10,ruedela

Pleau,GPS:43.59684,1.44696

Foreword

Wewarmly

welcomeyouto

Tou

louse

andthecampusof

theTou

louse

Business

School

wherethe22ndInternational

Con

ference

onPrinciplesan

dPracticeof

Con

straintProgram

mingwilltakeplace

this

year.Wehop

eyouwillenjoythe

scientifican

dsocial

program

meof

CP2016

withfiveworkshop

s,thedoctoral

program

,fourinvited

talksan

dfourtutorials,

twelvetechnical

sessions,

three

application

sessions,threejournal-firstan

dsister

conferencessessionsan

dforthe

firsttimethisyear,aseries

ofsixthem

aticsessionson

dedicated

topics:

verification

,music,

computation

albiology,computation

alsustainab

ility,

andpreferences&

social

choice.

Wewou

ldlike

tosincerely

than

kthosethat

contributedto

theorganizationof

theconference

bothin

theprogram

andlocalorganisationcommittees.Thelist

ofnam

esisfartoolongto

fitherean

dweinvitepeople

tovisittheconference

web

site

atcp2016.a4cp.org

fordetails.1

Thisyeartheorganisationrelies

onan

inform

alconsortium

ofresearch

insti-

tutes,

schoolsan

duniversities

from

Tou

louse

area

whereCP

isdevelop

ed.We

wou

ldlike

tothan

kallou

rorganisations,

theTou

louse

BusinessSchool

(TBS,

ourhost),theUniversite

deTou

louse,theInstitutdeRechercheen

Inform

a-tiquedeTou

louse

(IRIT

),theInstitutNational

des

SciencesAppliquees(INSA

Tou

louse),

theInstitutNational

dela

RechercheAgron

omique(INRA,MIA

T),

theLAAS/C

NRS(R

OC

team

),theEcole

des

Mines

d’A

lbi-Carmau

x(E

MAC),

theEcole

Nationaledel’Aviation

Civile(E

NAC),theOffice

National

d’Etudes

etdeRechercheAerospatiales(O

NERA),theInstitutSuperieurdel’Aeron

autiqueet

del’Espace(ISAE-SUPAERO),an

dtheInstitutNational

Polytechnique(INP)for

supportingusin

theorganisationof

thisevent.

Together,wehavetriedto

provide

youwithan

enjoyab

leeventthat

willnot

only

allow

you

toexplore

theedge

ofCPbutalso

theblendof

history,trad

itionan

dhightechnologyof

Tou

louse

and

theOccitan

ieregion

,includingitsfood,wines

andjoie

devivre!

Theorganizingcommittee

1W

ifilogin

andpassword

areinsideyourbadge.

Toulouse

Busin

ess

School’s

Campus

Doctoral

program

me

Monday05September

morn

ing

08h15–09h00

Welco

me

10h00–10h30

Coff

eeBrea

k

10h30–12h00

Docto

ralProgramme

AmphiBosco

•Onlin

eHVAC-A

ware

Occ

upancy

Sched

ulin

gwith

Adaptiv

eTempera

ture

Contro

l,Boon

PingLim

,Hassa

nHija

zi,Sylvie

Thieb

auxan

dMenkes

vanDen

Briel

•Evaluatio

nofNew

Bra

nchin

gHeuristic

forTie-brea

kin

g,SeongsooMoonandMary

Inab

a

•SABIO

:An

Implementatio

nofM

IPand

CP

for

Intera

ctiv

eSocce

rQueries,

Robinson

Duque,

JuanFrancisco

DiazandAleja

ndro

Arbela

ez

•Usin

gCP

and

ILP

with

treedeco

mpositio

nto

solve

the

sum

colourin

gpro

blem,Mael

Minot,SambaNdojh

Ndiaye

andChristin

eSolnon

•Syste

matic

Derivatio

nofBounds

and

Glue

Constra

ints

for

Tim

e-S

eries

Constra

ints,

Ekaterin

aArafailova

,Nico

lasBeld

iceanu,Mats

Carlsso

n,Pierre

Flen

er,Maria

Andrein

aFrancisco

Rodrigu

ez,Justin

Pearso

nandHelm

utSim

onis

•Symbo

licrea

sonin

gfor

constra

intso

lvers

with

arra

ys,Quentin

Plazar,

Sebastien

Bardin,

ArnaudGotlieb

andMathieu

Acher

•A

Constra

intProgra

mmin

gApproachto

Multi-R

obo

tTask

Allo

catio

nandSched

ulin

gin

Retire

mentHomes,Kyle

E.C.Booth,Goldie

Neja

tandChris

Beck

•An

ExactAlgorith

mforUnico

stSetCoverin

g,EmirDem

irovic,

Nysret

Musliu

,Katsu

miInou

eandTheo

LeCalvar

•M

orphin

gbe

twee

nStable

Matchin

gPro

blems,

CiaranMcC

reesh,Patrick

Prosser

andJames

Trim

ble

•An

adaptiv

epara

llelSAT

solver,Nicolas

Szczep

anski,Jean

-Marie

Lagn

iez,Sebastien

Tab

aryan

dGilles

Audem

ard

12h00–13h30

Lunch

Brea

k

UsefulLocations

TheEvents

willtakeplace

in:

ATou

louse

BusinessSchool:Themain

location

oftheconference

(GrandAmphi).

20,Bou

levard

Lascrosses,GPS:43.609515,

1.430812

BToulouse

BusinessSchool—

Boscobuilding:Thealternativelocation(A

mphiBosco).

Place

Alphonse

Jou

rdain—

Chem

inHenri

Bosco,GPS:43.611017,1.431261

CCompans–Caff

arelli:Theclosestsubway

station.

16,

boulevard

Lascrosses,GPS:43.610529,1.435420

DTow

nHall:

Thelocationofthewelcomereception

(Tuesday

).

Place

duCap

itole,GPS:43.604275,

1.444961

EHotelDieu:Thelocation

ofthegala

dinner

(Thursday

).

2,rueViguerie,GPS:43.599851,

1.43

6506

FPlace

del’EuropeCarPark:Theclosestcarpark.

18,place

Alphon

seJourdain,GPS:43.61108,1.42987

Doctoral

program

me

Monday05September

afternoon

13h30–15h00

DoctoralProgramme

AmphiBosco

•Invited

talk:Louis-M

artin

Rousseau

•A

Monte

Carlo

Large

Neighbo

urhood

Sea

rch

for

Vehicle

Routing

Pro

blems ,

Katharina

Glock,AnneMeyer

andGuidoTack

•Stu

dyin

gpara

llelco

mmunication

stra

tegieswithPOSL,Alejandro

Reyes

Amaro,

EricMon

froy

andFlorianRichoux

•An

IntervalFilterin

gOpera

tor

for

Upper

and

Lower

Boundin

gin

Constra

ined

Globa

lOptimization,OlivierSans,

Rem

iColettaan

dGillesTrombettoni

15h00–15h30

Coffee

Break

15h30–17h30

DoctoralProgramme

AmphiBosco

•A

Portfolio

Approach

for

Enforcin

gM

inim

ality

ina

Tree

Decomposition,DanielJ.

Geschwender,RobertJ.Woodward,BertheY.Choueiry

andStephen

D.Scott

•M

inin

gfreq

uentpatternsusingCP:a

compara

tivestudy,ValentinLem

iere,YannDauxais,

Patrice

BoizumaultandArnaudLallouet

•Lea

rnin

gpara

metersfor

the

Seq

uence

constra

intfrom

positive

examples,

Emilie

Picard-

Cantin,MathieuBou

chard,Claude-GuyQuim

per

andJasonSweeney

•Constra

intProgra

mmin

gfor

Strictly

Convex

Integer

Quadra

tica

lly-C

onstra

ined

Pro

b-

lems,

Wen-Y

angKuandChrisBeck

•Constra

intProgra

mmin

gFor

Min

ing

Partially

Ord

ered

Motifs,VincentVigneron,Dav

idLesaint,

BarryHurley,DeepakMehta

andBarryO’sullivan

•A

globa

lco

nstra

intforclosed

itemse

tmin

ing,NadjibLazaar,

Yahia

Lebbah,Samir

Loudni,

MehdiMaamar,

ValentinLem

iere,ChristianBessiereandPatriceBoizu

mault

•Debuggin

gUnsa

tisfi

able

Constra

intM

odels,Kevin

Leo

andGuidoTack

•A

Bounded

Path

Pro

pagatoron

Direc

tedGra

phs,

Diego

deUna,

Graem

eGan

ge,Peter

Schachte

andPeter

J.Stuckey

•M

ultiple

Constra

intAcq

uisition,Robin

Arcangioli,ChristianBessiereandNadjibLazaar

•A

DP-basedM

CM

CFra

meworkforSolvin

gDCOPswithGPUs,Ferdinan

doFioretto,

Enrico

Pon

telliandW

illiam

Yeoh

•Synchro

nousSpace

Progra

mmin

g,PierreTalbot,CarlosAgonan

dPhilippeEsling

•Cliqueand

Constra

intM

odels

forM

axim

um

Common

(Connec

ted)Subg

raph

Pro

blems ,

CiaranMcC

reesh,SambaNdojh

Ndiaye,PatrickProsser

andChristineSolnon

•Emba

rra

ssin

gly

Para

llelSea

rchRee

ngin

eered,GuillaumeDerval,PierreSchau

san

dJean-C

harles

Regin

17h45–18h45

ACP

challen

ge–PierreSchaus

Gra

nd

Amphi

17h30–19h30

Toulbar2

ProjectsMeeting

B151

•Briefoverview

oftoulbar2

solverSim

ondeGivry

•Globa

lco

stfu

nctions(m

asterbra

nch)and

setvariablesJim

myH.M

.Lee

•UsingCP

andIL

Pwithtree

decompositionto

solvethesu

mco

lourin

gpro

blem

MaelMinot

•Triangle-based

ConsistenciesforCost

Function

Netw

orksHiepNguyen

•Para

llelstra

tegiesforDecomposition

Guided

VNS

Abdelkader

Ouali

•M

iniB

rass

-extendin

gM

iniZ

incwith

soft

constra

ints

Alexander

Schiendorfer

20h00–23h00

DoctoralProgrammeDinner

15h30–16h20

Tech

nica

lSession

(11):

SAT,SMT

Gra

nd

Amphi

•Alex

eyIgnatiev

,Alessa

ndro

Prev

itiandJoaoMarques-S

ilva.On

Fin

din

gM

inim

um

Satisfy

ing

Assig

nments

•Ozgu

rAkgu

n,Ian

Gent,

Christop

her

Jeff

erson,Ian

Migu

elan

dPeter

Nigh

tingale.

Exploitin

gShort

Supports

forIm

pro

ved

Enco

din

gofArbitra

ryConstra

ints

into

SAT

15h30–16h20

Tech

nical

Session

(12):

schedulin

gAmphiBosco

•Alex

ander

Tesch

.A

Nea

rly

ExactPro

pagatio

nAlgorith

mfor

Energetic

Rea

sonin

gin

O(n

2·lo

gn)

•Ria

Szered

iandAndrea

sSchutt.

Modellin

gand

Solvin

gM

ulti-M

odeReso

urce

-Constra

ined

Pro

jectSched

ulin

g

16h20–17h00

Farew

ellcoffee

Con

ference

Satu

rday10September

09h30–18h00

CSPLib

Sprin

tRoom

133

Work

shop

sM

onday05September

09h00–17h00

Constra

int-B

ased

Meth

odsforBioinform

atics

B201

•Alessa

ndro

DalPalu,Agostin

oDovier,

Andrea

Form

isano,Alberto

Policriti,

Enrico

Pontelli.

Logic

Progra

mmin

gApplied

toGenomeEvolutio

nin

Cance

r

•Katin

kaBeck

er,Martin

Gebser,

Torsten

SchaubandAlex

ander

Bockmayr.

Answ

erSetProgra

m-

min

gforLogica

lAnalysis

ofData

10h00–10h30

Coff

eeBrea

k

•Lou

isFippoFitim

e,Oliv

ierRou

x,Carito

Guziolow

skian

dLoıc

Pau

leve.

Identifi

catio

nofBifu

rca-

tionsin

Biologica

lReg

ulatoryNetw

orksusin

gAnsw

er-S

etProgra

mmin

g

•Jean-M

arc

Allio

t,Martın

Dieg

uez

andLuis

Farin

asdel

Cerro

.M

etabo

licPathwaysasTempora

lLogic

Progra

ms

•Martin

Morterol,

Philip

peDagu

e,Sab

inePeres

andLau

rentSim

on.M

inim

ality

ofM

etabo

licFlux

ModesunderBoolea

nReg

ulatio

nConstra

ints

12h00–13h30

Lunch

Brea

k

•Clem

entViricel,

David

Sim

oncin

i,Thom

asSchiex

andSop

hie

Barb

e.Guara

nteed

Weighted

Count-

ingforAffi

nity

Computatio

n:be

yond

Determin

ismand

Structu

re(C

P2016

paper)

•Maryan

aW

anggren

,Martin

Billeter,

andGrah

amKem

p.Computatio

nalpro

tein

modellin

gba

sedon

limited

sets

ofco

nstra

ints

•Ludwig

Krip

pah

lan

dPedro

Barah

ona.

Impro

vin

gpro

tein

dockin

gwith

redundancyco

nstra

ints

(CP2016

paper)

15h00–15h30

Coff

eeBrea

k

•Seb

astienFran

cois,Rumen

Andon

ov,Hristo

Djid

jevan

dDom

iniqueLaven

ier.Globa

lOptim

izatio

nM

ethodsforGenomeSca

ffoldin

g

•Eric

Bourrea

u,Annie

Chatea

u,Clem

entDalla

rdandRodolpheGiro

udeau.A

Gra

ph

Constra

ints

Formulatio

nforContig

sSca

ffoldin

g

•WCB16

Conclu

dingRem

arks

10h30–16h30

Constra

intModellin

gandRefo

rmulatio

nB102

•G.Schenner

andR.Taupe.

Enco

din

gObjec

t-oriented

Models

inM

iniZ

inc

•K.Leo

andG.Tack.Debuggin

gUnsa

tisfiable

Constra

intM

odels

•G.Perez

andJ.-C

.Regin.Build

ingeffi

cientso

ftand

cost

MDD

constra

ints

12h00–13h30

Lunch

Brea

k

•W

.Saw

angphol,Y.-F

.Li,andG.Tack.CP4DL:Constra

int-ba

sedRea

sonin

gforExpressiv

eDesc

riptio

nLogics

•M.Codish

,M.Frank,andV.Lagoon.DNA

Word

Desig

n:

ANew

Constra

intM

odeland

New

Resu

lts

•Z.Erra

ji,A.Hak

kou,A.Benam

rane,

I.Benelallam

,an

dElH.Bou

yakhf.

ADistr

ibuted

Constra

int

Rea

sonin

gApproach

Toward

sIn

tellig

entM

arketplace

Enviro

nment

15h00–15h30

Coff

eeBrea

k

•V.Arm

antan

dK.N.Brow

n.Reformulatio

nofDrivers’

Fixed

Path

Constra

ints

inRidesh

ar-

ingPro

blems

•S.D.Prestw

ich,S.A.Tarim

,an

dR.Rossi.

Constra

intPro

blem

Spec

ifica

tion

asCompressio

n

Con

ference

Friday09September

09h00–10h00

Invited

talk:Eviden

ce-B

asedOptimizationofComplexInfrastructures–

PascalVan

Hentenryck

Gra

nd

Amphi

10h00–10h30

Coff

eeBreak

10h30–11h45

Technical

Session(8):

Scheduling

Gra

nd

Amphi

•Alessio

Bonfietti,MicheleLombardi,

Alessandro

Zanariniand

MichelaMilano.

The

Multirate

Reso

urceConstra

int

•AndreasSchutt

andPeter

J.Stuckey.Explain

ingProduce

r/Consu

merConstra

ints

•SaschaVan

Cau

welaert,CyrilleDejem

eppe,Jean-N

oelMon

ette

andPierreSchau

s.Effi

cientFilterin

gfortheUnaryReso

urcewith

Family-based

Tra

nsition

Tim

es

11h45–12h10

MiniZincchallenge

Gra

nd

Amphi

10h30–12h10

Jou

rnal-First

andSisterCon

ferencessession(3):

MIP,relaxations

AmphiBosco

•GiovanniDiLiberto,Serdar

Kad

ioglu,Kevin

Leo

andYuri

Malitsky.

DASH:Dynamic

Approach

forSwitchin

gHeuristics

•Cristinca

Fulga.AHP

based

portfolio

selection

with

riskpreference

modeling

•Kyle

E.C.Booth,TonyT.Tran,Goldie

NejatandChrisBeck.M

ixed

-Integerand

Constra

int

Progra

mmin

gTec

hniquesforM

obileRobo

tTask

Plannin

g

•Adrian

Weller,

Mark

Row

land

and

Dav

idSontag.

Tightn

ess

ofLP

relaxations

for

alm

ost

balanced

models

12h10–13h40

(Packed)Lunch

13h40–15h20

Technical

Session

(9):

Modelling,

MIP

Gra

nd

Amphi

•HarshaNagarajan,Mow

enLu,Emre

Yam

angilan

dRussellBent.

Tightenin

gM

cCormickRelax-

ationsforNonlinea

rProgra

msvia

Dynamic

Multivariate

Partitionin

g

•Wen-Y

ang

Ku

and

ChrisBeck.

Constra

int

Progra

mmin

gfor

Strictly

Convex

Integer

Quadra

tica

lly-C

onstra

ined

Pro

blems

•CiaranMcC

reesh,SambaNdojh

Ndiaye,

PatrickProsser

andChristineSolnon.Cliqueand

Con-

stra

intM

odels

forM

axim

um

Common

(Connec

ted)Subg

raph

Pro

blems

•GlebBelov,Peter

Stuckey,GuidoTackan

dMarkWallace.Im

pro

ved

Lin

earization

ofConstra

int

Progra

mmin

gM

odels

13h40–15h20

TechnicalSession(10):Learning,

decomposition

AmphiBosco

•Thibau

tFeydyan

dPeter

J.Stuckey.In

tervalConstra

intwith

Lea

rnin

g:Applica

tion

toAir

Tra

fficControl

•Max

imShishmarev,Christop

her

Mears,Maria

GarciaDeLaBan

daan

dGuidoTack.Lea

rnin

gfrom

Lea

rnin

gSolvers

•PhilippeJego

u,Han

anKan

soan

dCyrilTerriou

x,Toward

sa

Dynamic

Decomposition

ofCSPs

with

Separa

torsofBounded

Size

•Diego

deUna,

Graem

eGan

ge,Peter

Schachte

andPeter

J.Stuckey.A

Bounded

Path

Pro

pagator

on

Direc

ted

Gra

phs

09h00–17h30

CP

meets

Verification

B202

•Invited

talk

–Challen

gesofProgram

VerificationwithSPARK:YannickM

oy

•M

ixin

gPolyed

raand

BoxesAbstra

ctDomain

forConstra

intSolvin

g,MariePelleau,Em-

manuel

Rauzy,Ghiles

Ziat,CharlotteTruchet,AntoineMine.

10h00–10h30

Coffee

Break

•Invited

talk

–Model-C

onstructingSatisfiabiltyCalculus:Dejan

Jovanovic

•Invited

talk

–OptimizationModellingforSoftware

Developers,orHow

toconvert

proceduralcodeto

constraints!:

PeterStu

ckey

•An

Impro

ved

Constra

intProgra

mmin

gM

odelfor

Para

metric

IntervalM

arkov

Chain

Verifi

cation,Anicet

Bart,BenoıtDelahaye,

EricMonfroy,CharlotteTruchet

12h00–13h30

Lunch

Break

•Invited

talk

–ConstraintSatisfactionoverBit-V

ectors:LaurentM

ichel

•Tightco

upling

betw

een

bit-vec

tor

and

integer

domain

sca

nsu

rpass

bit-blastin

gSM

Tso

lvers,ZakariaChihani

•On

Fin

din

gprogra

min

putvalues

maxim

izin

gthe

roundin

g-o

fferro

r,Mohammed

Said

Belaid,ClaudeMichel,Yahia

Lebbah,Michel

Rueher

15h00–15h30

Coffee

Break

•Invited

talk

–Theuse

ofConstraintProgrammingin

thetestingandanalysisofatelecommunications

protocol:

Justin

Pea

rso

n

•Invited

talk

–Network

Verification:When

less

ismore,butnotalways:AndreyRyba

lchenko

•F-C

Pmin

er*:A

new

approachforfault

loca

liza

tion

usingco

nstra

int-ba

seddata

min

ing,

MehdiMaamar,

NoureddineAribi,NadjibLazaar,

Yahia

Lebbah,Sam

irLoudni

•Discussions.

13h30–17h30

CP

andAI

B203

•Introduction:EugeneFreuder

•InvitedTalk:Fro

mConstra

intProgra

mmin

gto

Pro

babilisticProgra

mmin

gto

Appro

xim

ate

Progra

mmin

g:Obse

rvationsand

Thoughts

RinaDechter

•Positionpaper:Gra

phicalmodels,an

articulation

poin

tbe

twee

nConstra

intProgra

mmin

g&

Machin

eLea

rnin

gThomasSchiex

•Abstract:Stochastic

Constra

intProgra

mmin

gandRein

forcementLea

rnin

gStevenPrestwich,

Roberto

RossiandArm

aganTarim

•Abstract:

EmpiricalM

odelLea

rnin

g,and

thein

tegra

tion

ofmachin

elearnin

gmodels

inCP

TiasGuns,

MicheleLombardi,MichelaMilanoandPascalVanHentenryck

•PositionPaper:ExplanationsforHuman-A

ware

CP

EugeneFreuder

15h00–15h30

Coffee

Break

•Abstract:

ExactSolution

CountingforArtificialIn

telligence

based

on

Decomposition

of

Constra

intNetw

orksPhilippeJegou,HananKanso

andCyrilTerrioux

•Positionpaper:Dec

lara

tiveProgra

mmin

gin

ArtificialIn

telligence

SiegfriedNijssen

•Positionpaper:Toward

sethicalagents

inDistributed

Constra

ints

Rea

sonin

gGhizlaneEl

Khattabi,Benelallam

Imade,

Bou

yakhfElHoussineandRajaeHaouari

•Abstract:Success

StoriesofCP

inData

Min

ingTiasGuns

•Positionpaper:CP

and

AI—

Pro

motingand

Publicizin

gEugeneFreuder

•Discussion:Pro

motingand

Publicizin

gCP

forAIand

CP

asAI—

and

ViceVersa

Con

ference

Thursd

ay08September

08h15–09h00

Registratio

n

08h45–09h45

Invited

talk:Optim

izatio

nandContro

lin

theSmart

Grid

andBeyond–Zico

Kolter

Gra

nd

Amphi

09h45–10h15

Coff

eeBreak

10h15–12h00

Best

Pap

ersGra

nd

Amphi

•Krish

nam

urth

yDvijoth

am,Pascal

Van

Henten

ryck,Mich

aelChertkov

,Sidhan

tMisra

andMarc

Vuffray.

Gra

phica

lmodels

foroptim

alpowerflow

•David

Man

love,Iain

McB

ridean

dJam

esTrim

ble.

’Alm

ost-sta

ble’matchin

gsin

theHosp

itals

/Resid

ents

pro

blem

with

Couples

•Clem

entCarbonnel.

The

Dichotomy

forConse

rvativ

eConstra

intSatisfa

ctio

nis

Polyno-

mially

Dec

idable

•Kyle

E.C.Booth

,Gold

ieNejat

andJ.Christop

her

Beck

.A

Constra

intProgra

mmin

gApproach

toM

ulti-R

obo

tTask

Allo

catio

nand

Sched

ulin

gin

Retire

mentHomes

12h00–13h30

Lunch

13h30–14h20

CP

andBiology

Session

Gra

nd

Amphi

•Clem

entViricel,

David

Sim

oncin

i,Thom

asSchiex

andSop

hie

Barb

e.Guara

nteed

Weighted

Count-

ingforAffi

nity

Computatio

n:be

yond

Determin

ismand

Structu

re

•Ludwig

Krip

pah

lan

dPedro

Barah

ona.

Impro

vin

gpro

tein

dockin

gwith

redundancyco

nstra

ints

13h30–14h20

Application

Sessio

n(3)

AmphiBosco

•Katherin

eGiles

andW

illem-JanVanHoeve.

Solvin

ga

Supply-D

eliv

ery

Sched

ulin

gPro

blem

with

Constra

intProgra

mmin

g

•Dav

idGera

ult,

Marin

eMinier

and

Christin

eSolnon.

Constra

intProgra

mmin

gM

odels

for

Chose

nKeyDiff

erentia

lCryptanalysis

14h20–14h45

Docto

ralResea

rchAward

–Andre

Augusto

Cire

Gra

nd

Amphi

14h45–15h00

Distin

guish

edService

Award

–ThomasSchiex

Gra

nd

Amphi

15h00–18h00

Social

Prog

ram:visit

ofToulou

se

15h00–18h00

Socia

lProgram

:A380

assem

bly

linevisit

20h00–23h30

Conferen

ceDinner

09h00–18h00

Con

figuratio

nB104

•W

elco

me

•Reco

mmendatio

nforproductco

nfigura

tion:

an

experim

entalevaluatio

n.Helen

eFargier,

Pierre-F

rancois

Gim

enez

andJero

meMengin.

•Reco

mmendin

gand

Configurin

gSmartHome

Insta

llatio

ns .

Gerh

ard

Leitn

er,Alex

ander

Felfern

ig,SedaPolat

Erdeniz,

ArdaAkcay,

AnthonFerch

er,KlausIsa

kandMich

ael

Jeran

.

10h00–10h30

Coff

eeBrea

k

•Concurrentco

nfigura

tion

ofproductand

proce

ss:

movin

gtoward

sETO

and

dea

ling

with

unce

rtain

ties.

Sylla

Abdou

rahim

,Elise

Vareilles,

Mich

elAldan

ondo,

Thierry

Cou

dert,

Lau

rent

Geneste

andPaulPitio

t.

•Asse

ssing

configura

toruse

rneed

forso

cialin

tera

tion

durin

gthe

productco

nfigura

tion

proce

ss.Chiara

Grosso

,Ciprian

oForza

andAlessio

Tren

tin.

•Im

pro

ved

Performance

and

Quality

ofConfigura

tion

Syste

msby

Rece

ivin

gRea

l-Tim

eIn

formatio

nfro

mSupplie

rs .

Katrin

Kristja

nsdottir,

Sara

Shafiee,

Martin

Bonev,Lars

Hvam,

Morten

HugoBennick

andChristia

nS.Andersen

.

12h00–13h30

Lunch

Brea

k

•Derivin

gTighter

ComponentCard

inality

Bounds

for

ProductConfigura

tion.

Rich

ard

Taupe,

Andrea

sFalk

ner

andGottfried

Schenner.

•Automatic

Configura

tionofHybrid

Mathematica

lM

odels.

Mich

aelBarry

andReneSchuman

n.

•Solvin

gthePartn

erUnits

Configura

tion

Pro

blem

with

Heuristic

Constra

intAnsw

erSet

Progra

mmin

g.Erich

Teppan.

15h00–15h30

Coff

eeBrea

k

•Toward

sGro

up-B

ased

Configura

tion.Alex

ander

Felfern

ig,Muslu

mAtas,

Tran

gTran

andMartin

Stettin

ger.

•Toward

sConfigura

tionTec

hnologiesforIo

TGateway.Alex

ander

Felfern

ig,SedaPolat

Erdeniz,

ArdaAkcay,

Paolo

Azzo

niandCharalampos

Doukas.

•Toward

sM

odulariza

tion

and

Configura

tion

ofService

s–

CurrentChalle

ngesand

Diffi

-cultie

s.Thorsten

Kreb

sandAlek

sander

Lubarsk

i.

•Determin

ingNew

Components

forOpen

Configura

tion.LindaZhangandXiaoy

uChen.

•Future

Configuration

Challen

ges

andnextEditio

n(C

WS2017)

20h00–23h00

Configuration

WorkshopDinner

Work

shop

sTuesd

ay06September

09h00–12h00

Con

figuratio

nB104

•Benchmark

for

configura

tion

and

plannin

goptim

izatio

npro

blems:

Pro

positio

nof

ageneric

model.

PaulPitio

t,Luis

Ignacio

Garces

Monge,

Elise

Vareilles

andMich

elAldan

ondo.

•Optim

alFea

ture

Selec

tion

via

Evolutio

nary

Algorith

ms

and

Constra

intSolvin

g.

Yibo

Wangan

dLotharHotz.

10h00–10h30

Coff

eeBrea

k

•In

tera

ctiv

eConfigura

tion

ofIn

sulatin

gEnvelopes.

Andres

Felip

eBarco

Santa,Elise

Vareilles,

Mich

elAldanondoandPhilip

peChantry.

•Stu

dyBattle

s:A

Lea

rnin

gEnviro

nmentfor

Knowled

ge-ba

sedConfigura

tion.

Alex

ander

Felfern

ig,AmalShehadeh,Christia

nGuetl,

Mich

ael

Jera

n,TrangTran,Muslu

mAtas,

SedaPolat

Erdeniz,

Martin

Stettin

ger,

ArdaAkcay

andStefa

nReiterer.

•Fin

din

gpre-p

roductio

nvehicle

plannin

gusin

gM

ax-S

AT

framework.Marcel

Tiep

eltand

Tila

kRajSingh.

•CW

SBest

Paper

Award

andConclu

sion

15h20–16h35

Technical

Session

(4):

Theory

Gra

nd

Amphi

•JoshuaBlinkhornan

dOlafBeyersdorff.DependencySchemesin

QBF

Calculi:Semanticsand

Soundness

•Michael

Codish,Graem

eGange,

AviItzhakov

andPeter

J.Stuckey.

Breakin

gSymmetriesin

Gra

phs:

TheNauty

Way

•David

Bergm

anan

dAndre

Augu

stoCire.

MultiobjectiveOptimization

byDec

ision

Diagra

ms

15h20–16h35

TechnicalSession

(5):

Global

constraints,learning

AmphiBosco

•ClementCarbonnel

andEmmanuel

Hebrard.Constra

intPro

pagation

via

Kerneliza

tion

•EkaterinaArafailova,NicolasBeldiceanu,Mats

Carlsson,PierreFlener,MariaAndreinaFrancisco

Rodriguez,Justin

PearsonandHelmutSim

onis.SystematicDerivation

ofBoundsand

Glue

Constra

ints

forTim

e-S

eriesConstra

ints

•Emilie

Picard-C

antin,Mathieu

Bouchard,Claude-GuyQuim

per

and

Jason

Sweeney.

Lea

rnin

gpara

metersfortheSeq

uence

constra

intfrom

positiveexamples

16h35–17h25

TechnicalSession(6):

SAT

Gra

nd

Amphi

•Jerem

iasBergand

MattiJarvisalo.

ImpactofSAT-B

ased

Preproce

ssin

gon

Core-G

uided

MaxSAT

Solvin

g

•GillesAudem

ard,JeanMarieLagniez,

NicolasSzczepanskiandSebastienTabary.An

adaptive

para

llelSAT

solver

16h35–17h25

Technical

Session

(7):

Parallelism,temporalconstraints

AmphiBosco

•Anthon

yPalmieri,Jean-C

harlesRegin

andPierreSchau

s.Para

llelStrategiesSelection

Strategy,

stra

tegyse

lection,algorithm

selection,para

llelism

•LukeHunsberger

andRoberto

Posenato.A

New

Approach

toChec

kin

gtheDynamic

Consis-

tencyofConditionalSim

ple

Tempora

lNetw

orks

17h25–17h40

CP’2017

&CPAIO

R’2017

presentation

Gra

nd

Amphi

17h40–19h00

ACP

General

Assem

bly

Gra

nd

Amphi

20h00–23h00

SeniorPC

Dinner

Con

ference

Tuesd

ay06September

08h00–08h45

Welcomecoffee

08h00–08h45

Registration

08h45–09h00

Welcomeaddress

–Michel

Rueher

&ThomasSchiex

Gra

nd

Amphi

09h00–10h00

Invited

talk:Optimizingpreferencesandsocialwelfare

inhealthcare-related

matchingproblem

s–Dav

idManlove

Gra

nd

Amphi

10h00–10h30

Coffee

Break

10h30–12h10

ApplicationSession(1)

AmphiBosco

•Emman

uel

Hebrard,Marie-JoseHugu

et,Dan

ielVeysseire,LudivineBocheSau

vanan

dBertran

dCab

on.

Constra

intProgra

mmin

gforPlannin

gTest

CampaignsofTeleco

mmunication

Satellites

•XavierLorca,CharlesPrud’H

omme,

Aurelien

Questelan

dBen

oıtRottembou

rg.UsingConstra

int

Progra

mmin

gfortheUrba

nTra

nsitCrew

Resc

hed

ulingPro

blem

•Stefano

DiAlesio.

OptimalPerformance

Tunin

gin

Rea

l-Tim

eSystems

using

Multi-

ObjectiveConstra

ined

Optimization

•FeifeiMa,Xin

Gao,MinghaoYin,LinjiePan,Jiwei

Jin,HaiLiu

andJianZhang.SymOptimizin

gShortw

aveRadio

Broadca

stReso

urceAlloca

tion

via

Pse

udo-B

oolean

Constra

intSolvin

gand

Loca

lSea

rch

10h30–12h10

TechnicalSession(1):

Theory

Gra

nd

Amphi

•David

Cohen

andPeter

Jeavons.

ThePowerofPro

pagation:W

hen

GAC

isEnough

•Dominik

Sched

er,Tim

onHertli,Isabelle

Hurbain,Seb

astianMillius,

Robin

MoserandMay

Szedlak.

ThePPSZ

Algorithm

forConstra

intSatisfaction

Pro

blemson

More

Than

Two

Colors

•Martin

Cooper,AchrefElMouelhiandCyrilTerrioux.Bro

ken

Triangles,

YetAgain

•RobertGanian,RamanujanM.S.andStefanSzeider.Backdoorsto

Tra

ctable

Valued

CSP

12h10–13h40

Lunch

13h40–14h40

Tutorial:ConstraintProgrammingin

Music–Charlotte

Truchet

AmphiBosco

13h40–14h40

Tutorial:Topicsin

ComputationalSustainability

–Carla

Gomes

Gra

nd

Amphi

14h40–15h30

MusicSession(1)

AmphiBosco

•PierreRoy,GuillaumePerez,Jean-C

harlesRegin,Alexan

dre

Pap

adop

oulos,FrancoisPachet

andMarco

Marchini.Enforcin

gStructu

reon

Tempora

lSeq

uence

s:theAllen

Constra

int

•Alexandre

Papadopoulos,

PierreRoy

andFrancois

Pachet.Assisted

Lea

dShee

tComposition

usingFlowCompose

r

14h40–15h30

ComputationalSustainabilitySession

Gra

nd

Amphi

•YexiangXue,

IanDavies,Dan

ielFink,Christop

her

Woodan

dCarla

Gom

es.BehaviorId

entifica

tion

inTwo-stageGamesforIn

centivizin

gCitizen

Science

Explora

tion

•Boon

PingLim

,HassanHijazi,Sylvie

Thiebau

xan

dMenkesVan

Den

Briel.OnlineHVAC-A

ware

Occ

upancySched

ulingwith

AdaptiveTempera

ture

Control

15h30–16h00

Coffee

Break

Con

ference

Wednesd

ay07September

08h15–09h00

Registratio

n

08h45–09h45

Invited

talk:Horn

Constra

ints

forSoftw

are

Verifi

catio

nandSynthesis

–Andrey

Rybalch

enko

Gra

nd

Amphi

09h45–10h15

Coff

eeBreak

10h15–11h15

Tutorial:

Socia

lChoice

–Francesca

Rossi,

K.Bren

tVenab

le,Tob

yWalsh

AmphiBosco

10h15–11h15

Tutorial:

Automated

Progra

mAnalysis

andVerifi

catio

n–Andrea

sPodelsk

iGra

nd

Amphi

11h15–12h05

Testin

gan

dVerifi

cationSession

Gra

nd

Amphi

•XiaojunSun,Irin

aIlio

aea,Priy

ankKalla

andFloria

nEnescu

.Fin

din

gUnsa

tisfiable

Coresofa

SetofPolynomials

usin

gtheGroebnerBasis

Algorith

m

•Merav

Aharoni,Yael

Ben

-Haim

,ShaiDoron,Anatoly

Koy

fman,Elen

aTsankoandMich

ael

Veksler.

Usin

gGra

ph-B

ased

CSP

toSolvetheAddress

Tra

nsla

tion

Pro

blem

11h15–12h05

Preferen

ces,Social

Choice,

andCon

straints

Sessio

nAmphiBosco

•Ferd

inan

doFioretto,

William

Yeoh

andEnrico

Pon

telli.A

Dynamic

Progra

mmin

g-ba

sedM

CM

CFra

meworkforSolvin

gDCOPswith

GPUs

•Ciaran

McC

reesh,Patrick

Prosser

and

James

Trim

ble.

Morphin

gbe

twee

nStable

Matchin

gPro

blems

12h05–13h35

Lunch

13h35–14h50

Application

Sessio

n(2)

Gra

nd

Amphi

•Vincen

tGoulet,

Wei

Li,Hyunmin

Cheong,Francesco

Iorio

andClaude-G

uyQuim

per.

Four-B

ar

Lin

kageSynthesis

Usin

gNon-C

onvexOptim

izatio

n

•RobinsonDuque,

Aleja

ndro

Arbela

ezandJuanFrancisco

Dıaz.

SABIO

:An

Implementatio

nof

MIP

and

CP

forIn

tera

ctiv

eSocce

rQueries

•Sam

irSebbah

,Claire

Bagley,

Mike

Colen

aan

dSerd

arKad

ioglu.Service

Availa

bility

Optim

izatio

nin

Cloud-B

ased

In-M

emoryData

Grids

13h35–14h50

Jou

rnal-F

irstandSister

Con

ferences

session(2):

Consisten

ciesAmphiBosco

•Martin

Cooper

andStanislav

Zivny.The

PowerofArc

Consiste

ncy

forCSPsDefined

by

Partia

lly-O

rdered

Forbidden

Patte

rns

•Chavalit

Likitv

ivatanavon

g,Wei

Xia

andRolan

dH.C.Yap

.Deco

mpositio

noftheFactorEnco

d-

ingforCSPs

•Christop

heLecou

tre,Chavalit

Likitv

ivatanavon

gan

dRolan

dYap

.STR3:A

Path-O

ptim

alFilte

r-

ingAlgorith

mforTable

Constra

ints

14h50–15h20

Coff

eeBreak

16h00–16h50

Music

Sessio

n(2)

AmphiBosco

•JohnHooker.

Fin

din

gAlte

rnativ

eM

usica

lSca

les

•Tsubasa

Tan

aka,Brian

Bem

man

andDavid

Mered

ith.Constra

intprogra

mmin

gformulatio

nof

thepro

blem

ofgenera

tingM

ilton

Babbitt’s

all-p

artitio

narra

ys

16h00–16h50

Tech

nica

lSessio

n(2):

MaxSAT

Gra

nd

Amphi

•Jack

Goffi

net

andRagh

uram

Ram

anujan

.M

onte-C

arlo

Tree

Sea

rch

fortheM

axim

um

Satisfi

-ability

Pro

blem

•Xujie

Si,

Xin

Zhang,Vasco

Manquinho,MikolasJanota,Alex

eyIgnatiev

andMay

urNaik.

On

IncrementalCore-G

uided

MaxSAT

Solvin

g

16h50–17h40

Tech

nica

lSessio

n(3):

Global

constra

ints

Gra

nd

Amphi

•Jord

anDem

eulen

aere,Renau

dHartert,

Christop

heLecou

tre,Guillau

mePerez,

Lau

rentPerron

,Jean

-Charles

Regin

andPierre

Schaus.

Compact-T

able:effi

ciently

filte

rin

gtable

constra

ints

with

reversib

lesp

arse

bit-se

ts

•Nadjib

Lazaar,Yahia

Lebbah,SamirLoudni,MehdiMaamar,Valen

tinLem

iere,Christia

nBessiere

andPatrice

Boizu

mault.

Agloba

lco

nstra

intforclosed

itemse

tmin

ing

16h50–17h40

Jou

rnal-F

irstan

dSister

Conferen

cesSessio

n(1):

Symmetries

AmphiBosco

•Jim

myLee

andZich

enZhu.Boostin

gSBDS

forPartia

lSymmetryBrea

kin

gin

Constra

int

Progra

mmin

g

•Jim

myLee

andZich

enZhu.Brea

kin

gM

ore

Compositio

nSymmetriesUsin

gSea

rch

Heuris-

tics

18h30–20h00

Welcom

eRecep

tion

20h30–23h00

Execu

tiveCom

mitee

ACP

dinner