welcome to melbourne!sat2017.gitlab.io/booklet_a5.pdf · international conference on logic...

Welcome to Melbourne!

We welcome you to the most liveable city in the world,1 which is hosting the 23rdInternational Conference on Principles and Practice of Constraint Programming, the 33rdInternational Conference on Logic Programming and the 20th International Conference onTheory and Applications of Satisfiability Testing.

Venue

Rooms: Most workshop and conference sessions will take place at Level 1 of theMelbourne Convention Centre (see detailed program for room allocations), accessible viaStairs 1 (see map on the next page) or the lifts.

Work space: In addition to the workshop and conference rooms, you can use room 112on Monday and room 207 (on Level 2) from Tuesday to Friday to work, meet or relax.

Catering: Morning coffee/tea (before the first session) and two coffee/tea breaks withlight snacks (10:00 am and 3:30 pm) are included in your registration. Lunch is not provided.There is a wide selection of restaurants and food courts in the immediate neighbourhood ofthe Convention Centre. We recommend you exit towards the Yarra River and choose one ofthe restaurants in the Restaurant Precinct, one of the vendors in the food court within theDFO, or one of the many restaurants and food courts along the Southbank Promenade.

Free WiFi: is available throughout the Convention Centre via the M Connect network.

Social Program

Doctoral Program Dinner: On Monday, 28th August, all students in the DoctoralProgram are invited to the Spaghetti Tree restaurant in 59 Bourke St (near Exhibition St).

Opening Reception: The opening reception with canapes and drinks will take place inRoom 110 on Tuesday, 29th August, from 6:00 pm. It will include a celebration of the life ofAlain Colmerauer, one of the founders of the ICLP and CP communities, who passed away inMay 2017.

Guided Tours: On Thursday, 31st August, you can choose between a guided tour ofMelbourne’s world-renowned street art, a guided tour of the Australian Collection of theNational Gallery of Victoria, and a self-guided tour of the Sea Life Melbourne Aquarium.Tours start around 4:00 pm.

Banquet: The conference banquet will take place at the Sea Life Melbourne Aquarium onThursday, 31st August, from 6:30 pm. Please use the side entrance in King Street.

1depending on your objective function

2

Useful Numbers

Emergency (police, ambulance, fire): 000International access code (from rest of the world to Australia): 61International dialling prefix (from Australia to rest of the world): 0011

Venue Map

101 102

103 107

108

109 110

111 112

Foyer

Lifts

StairsC

D

A

BB

C

A

AA

A A

A

A

A

A

A

A

A

A

A

AC

A

C

A

CA

B B

B

L C

L C

L C

SR:23

SR:23

CL1

C

B1 B2

101 102

103 104105 106

107

108

112111

110109

STAIR1

HILTONACCESS

SPEAKERSPREP

RM 101

BACK OFHOUSEAREA

BACK OFHOUSEAREA

BACK OFHOUSEAREA

BACK OFHOUSEAREA

TRUCKLIFT

BACK OF HOUSELIFTS

PUBLIC ACCESSLIFTS

ACCESSFROM / TO LEVEL 2


ACCESSFROM / TO

GROUND LEVEL

ACCESSFROM / TO

GROUND LEVEL

ORGANISEROFFICE 101

ORGANISEROFFICE 101STORAGE

RM

DISABLEDAMENITIES

109 110 111 112

108

107

106105104103

102101

MELBOURNE CONVENTION CENTRE: LEVEL 01 - MEETING ROOMS 101-112

EVENT DATE:

EVENT NAME: EVENT NO:

DRAWN BY:

DOOR SIGNAGEDDA ENTRY BUTTON

C

D

A

BB

C

A

AA

A A

A

A

A

A

A

A

A

A

A

AC

A

C

A

CA

B B

B

L C

L C

L C

SR:23

SR:23

CL1

C

B1 B2

101 102

103 104105 106

107

108

112111

110109

STAIR1

HILTONACCESS

SPEAKERSPREP

RM 101

BACK OFHOUSEAREA

BACK OFHOUSEAREA

BACK OFHOUSEAREA

BACK OFHOUSEAREA

TRUCKLIFT

BACK OF HOUSELIFTS

PUBLIC ACCESSLIFTS



ACCESSFROM / TO

GROUND LEVEL

ACCESSFROM / TO

GROUND LEVEL

ORGANISEROFFICE 101

ORGANISEROFFICE 101STORAGE

RM

DISABLEDAMENITIES

109 110 111 112

108

107

106105104103

102101

MELBOURNE CONVENTION CENTRE: LEVEL 01 - MEETING ROOMS 101-112

EVENT DATE:

EVENT NAME: EVENT NO:

DRAWN BY:

DOOR SIGNAGEDDA ENTRY BUTTON

ConventionCentreLevel 1

Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual 20 December 2012

8

Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual

7

MCEC Location within Melbourne Including Public Transport

TransportTrams: run along Spencer, Clarendon and Flinders Streets.

Trains: Southern Cross Station is a seven minute walk from the MCEC.

Taxi ranks are located outside all major hotels within the CBD, Southern Cross Station, Crown Casino Complex and Hilton Hotel South Wharf.

Coach pick-up and drop-off bays are located at the front entrance of each building. These bays are for drop off and pick-up only, coach parking is not permitted. Please discuss your requirements with your Event Planner.

Contact

Melbourne Convention and Exhibition Centre GPO Box 777 Melbourne 3001Tel: +61 3 9235 8000 Fax: +61 3 9235 8001

Melbourne Convention Centre 1 Convention Centre Place, South Wharf 3006

Melbourne Exhibition Centre 2 Clarendon Street, South Wharf 3006

MCEC venue within immediate location

Restaurant precinct opening August 2011

Etihad

Stadium

Bourke

Street

Collins

Street

HiltonMelbourne

SouthWharf

EXHI

BITI

ON C

ENTR

E

Melbourne CBD

Southern Cross Station

South Wharf Promenade

North Wharf

Yarra River

DFO

Offices

HomemakerHub

Orrs

Wal

k

Wrig

ht W

alk

Rona Walk

Mon

tagu

e St

reet

Orrs Dock

Norm

anby

Roa

d

Flinder

s Stre

et

Siddele

y Stre

et

Seafarers Bridge

World TradeCentre

Car ParkEntrance

Exhibition CentreLoading Dock

Convention CentreLoading Dock

Convention Centre Place

Wurundj

eri W

ay

Spencer Street

Clarendon Street

CONVENTION CENTRE

The Plenary

LOAD

ING

DOCK

Exit

Entry

South Melbourne

Docklands

N

Docklands

Central

Business

District

Southern

Cross Station

Car ParkEntranceFreeway Car Park

South WharfRetail Car Park

Car Park

Dukes Walk

Dukes Walk

Montague Street

Lorimer Street

96

109

112

48

Car ParkEntrance

Car ParkEntrance

Car ParkEntrance

Munro

Freeway Ramp

Freeway Ramp

Normanby Road

Polly Woodside Maritime Precinct

5

67 8 9

10

10

9

8

7

6

5

4

3

2

1

Stre

et

Entry

Entry

EntryEntry

ATM

ATM

ATM

Link

1 2

3

70

ATM

96

3

ATM

Berthing Dock

Bike Racks

Bike Share Station

Business Centre

Cafe

Cloak Room

Customer Service

Disabled Access

Door Numbers

Lift

Parents Room

Parking

Polly Woodside

Prayer Room

Public Access

Security

Stairway

Taxi Rank

Ticket Office

Tramline

Tram Number

MCEC Venue Map

www.visitmelbourne.com (Melbourne Visitor Information) www.metlink.com.au (Public Transport Information)

WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)

NSt Kilda Road


City Road

Normanby

Road

Clarendon Street

Kings Way

Brunton Avenue

Bourke Street

Harbour Esplanade

Collins Street

TelstraDome

Flinders Street

Station

Federation

Square

Crown

Comple

x

CENTRAL BUSINESSDISTRICT

Spencer Streeet

Flinders Street

Collins Street

Bourke Street

ARTSPRECINCT

SPORTSPRECINCT

Westgate Freeway

Wurundjeri W

ay

Montague Street

Crown

Complex

HiltonHotel

Retail

Retail

OfficeTowerConvention Centre Place Exhibition

Centre

ConventionCentre

Footbridge

YARRA RIVER

112

109

96

96

109112

4870

4870

75

Wurundjeri Way

DOCKLANDS

WorldTradeCentre

Clarendon Street

WESTGATE FREEWAY

FLINDERS

STREET STATION

Melbourne Convention Centre1 Convention Centre Place, South Wharf 3006

Melbourne Exhibition Centre2 Clarendon Street, South Wharf 3006

96

South Wharf Precinct

Foyer


8


7






Contact






Etihad

Stadium

Bourke

Street

Collins

Street

HiltonMelbourne

SouthWharf

EXHI

BITI

ON C

ENTR

E

Melbourne CBD



North Wharf

Yarra River

DFO

Offices

HomemakerHub

Orrs

Wal

k

Wrig

ht W

alk

Rona Walk

Mon

tagu

e St

reet

Orrs Dock

Norm

anby

Roa

d

Flinder

s Stre

et

Siddele

y Stre

et

Seafarers Bridge

World TradeCentre

Car ParkEntrance




Wurundj

eri W

ay

Spencer Street

Clarendon Street

CONVENTION CENTRE

The Plenary

LOAD

ING

DOCK

Exit

Entry

South Melbourne

Docklands

N

Docklands

Central

Business

District

Southern

Cross Station



Car Park

Dukes Walk

Dukes Walk

Montague Street

Lorimer Street

96

109

112

48

Car ParkEntrance

Car ParkEntrance

Car ParkEntrance

Munro

Freeway Ramp

Freeway Ramp

Normanby Road


5

67 8 9

10

10

9

8

7

6

5

4

3

2

1

Stre

et

Entry

Entry

EntryEntry

ATM

ATM

ATM

Link

1 2

3

70

ATM

96

3

ATM

Berthing Dock

Bike Racks

Bike Share Station

Business Centre

Cafe

Cloak Room

Customer Service

Disabled Access

Door Numbers

Lift

Parents Room

Parking

Polly Woodside

Prayer Room

Public Access

Security

Stairway

Taxi Rank

Ticket Office

Tramline

Tram Number

MCEC Venue Map



N

St Kilda Road


City Road

Normanby

Road

Clarendon Street

Kings Way

Brunton Avenue

Bourke Street

Harbour Esplanade

Collins Street

TelstraDome

Flinders Street

Station

Federation

Square

Crown

Comple

x


Spencer Streeet

Flinders Street

Collins Street

Bourke Street

ARTSPRECINCT

SPORTSPRECINCT

Westgate Freeway

Wurundjeri W

ay

Montague Street

Crown

Complex

HiltonHotel

Retail

Retail


Centre

ConventionCentre

Footbridge

YARRA RIVER

112

109

96

96

109112

4870

4870

75

Wurundjeri Way

DOCKLANDS

WorldTradeCentre

Clarendon Street

WESTGATE FREEWAY

FLINDERS

STREET STATION



96



8


7






Contact






Etihad

Stadium

Bourke

Street

Collins

Street

HiltonMelbourne

SouthWharf

EXHI

BITI

ON C

ENTR

E

Melbourne CBD



North Wharf

Yarra River

DFO

Offices

HomemakerHub

Orrs

Wal

k

Wrig

ht W

alk

Rona Walk

Mon

tagu

e St

reet

Orrs Dock

Norm

anby

Roa

d

Flinder

s Stre

et

Siddele

y Stre

et

Seafarers Bridge

World TradeCentre

Car ParkEntrance




Wurundj

eri W

ay

Spencer Street

Clarendon Street

CONVENTION CENTRE

The Plenary

LOAD

ING

DOCK

Exit

Entry

South Melbourne

Docklands

N

Docklands

Central

Business

District

Southern

Cross Station



Car Park

Dukes Walk

Dukes Walk

Montague Street

Lorimer Street

96

109

112

48

Car ParkEntrance

Car ParkEntrance

Car ParkEntrance

Munro

Freeway Ramp

Freeway Ramp

Normanby Road


5

67 8 9

10

10

9

8

7

6

5

4

3

2

1

Stre

et

Entry

Entry

EntryEntry

ATM

ATM

ATM

Link

1 2

3

70

ATM

96

3

ATM

Berthing Dock

Bike Racks

Bike Share Station

Business Centre

Cafe

Cloak Room

Customer Service

Disabled Access

Door Numbers

Lift

Parents Room

Parking

Polly Woodside

Prayer Room

Public Access

Security

Stairway

Taxi Rank

Ticket Office

Tramline

Tram Number

MCEC Venue Map



N

St Kilda Road


City Road

Normanby

Road

Clarendon Street

Kings Way

Brunton Avenue

Bourke Street

Harbour Esplanade

Collins Street

TelstraDome

Flinders Street

Station

Federation

Square

Crown

Comple

x


Spencer Streeet

Flinders Street

Collins Street

Bourke Street

ARTSPRECINCT

SPORTSPRECINCT

Westgate Freeway

Wurundjeri W

ay

Montague Street

Crown

Complex

HiltonHotel

Retail

Retail


Centre

ConventionCentre

Footbridge

YARRA RIVER

112

109

96

96

109112

4870

4870

75

Wurundjeri Way

DOCKLANDS

WorldTradeCentre

Clarendon Street

WESTGATE FREEWAY

FLINDERS

STREET STATION



96


CitySouthbank Promenade

Melb

ourn

e C

onve

ntion a

nd E

xhib

itio

n C

entr

e.

PB

-OP-7

100000 M

CEC O

pera

tions

Manual 20 D

ece

mber

2012

8

Melb

ourn

e C

onve

ntion a

nd E

xhib

itio

n C

entr

e.

PB

-OP-7

100000 M

CEC O

pera

tions

Manual

7

MCEC L

ocation w

ithin

Melb

ourn

e Inclu

din

g P

ublic T

ransp

ort

Transp

ort

Tram

s: r

un a

long S

pencer, C

lare

ndon a

nd F

linders

Str

eets

.

Train

s: S

outh

ern

Cro

ss S

tation is

a s

eve

n m

inute

walk

fro

m t

he M

CEC.

Taxi

ranks

are

locate

d o

uts

ide a

ll m

ajo

r hote

ls w

ithin

the C

BD

, South

ern

Cro

ss S

tation, Cro

wn C

asi

no C

om

ple

x

and H

ilto

n H

ote

l South

Wharf

.

Coach p

ick-u

p a

nd d

rop-o

ff b

ays

are

locate

d a

t th

e f

ront

entr

ance o

f each b

uildin

g. These

bays

are

for

dro

p o

ff a

nd

pic

k-u

p o

nly

, coach p

ark

ing is

not

perm

itte

d. Ple

ase

dis

cuss

your

requirem

ents

with y

our

Eve

nt

Pla

nner.

Conta

ct

Melb

ourn

e C

onve

ntion a

nd E

xhib

itio

n C

entr

e

GPO B

ox 7

77

Melb

ourn

e 3

001

Tel: +61 3

9235 8

000

Fax:

+

61 3

9235 8

001

Melb

ourn

e C

onve

ntion C

entr

e

1 C

onve

ntion C

entr

e P

lace, South

Wharf

3006

Melb

ourn

e E

xhib

itio

n C

entr

e

2 C

lare

ndon S

treet,

South

Wharf

3006

MCEC v

enue w

ithin

im

media

te location

Restaura

nt pre

cinct

openin

g August

2011

Etihad

Stadium

Bourke Street

CollinsStre

et

Hilto

n

Melb

ourn

e

South

Wharf

EXHIBITION CENTREMelb

ourn

e C

BD

South

ern

Cro

ss Sta

tion

South W

harf Pro

menade

Nort

h Wharf

Yarra R

iver

DFO

Off

ices

Hom

em

aker

Hub

Orrs Walk

Wright Walk

Rona Walk

Montague Street

Orr

s Dock Normanby

RoadFlinders Stre

et

Siddeley Stre

et

Seafarers Bridge

World T

rade

Centr

e

Car

Park

Entr

ance

Exhib

itio

n C

entr

e

Loadin

g D

ock

Conve

nti

on C

entr

e

Loadin

g D

ock

Conve

ntion C

entr

e P

lace

Wurundjeri Way

Spencer Street Clarendon Street

CO

NVEN

TIO

N C

EN

TR

E

The P

lenary

LOADING DOCK

Exit

Entr

y

South

Melb

ourn

e

Dock

lands

N

Docklands

Central

Business

Distric

t

Southern

Cross

Sta

tion

Car

Park

Entr

ance

Freew

ay C

ar

Park

South

Wharf

Reta

il C

ar

Park

Car

Park

Dukes W

alk

Dukes Walk

Montague Street

Lorimer S

treet

96

109

112

48

Car

Park

Entr

ance

Car

Park

Entr

ance

Car

Park

Entr

ance

Munro

Freew

ay R

am

p

Freew

ay Ram

p

Normanby R

oad

Polly W

oodside Marit

ime P

recin

ct

5

6

7

8

910

10

9

8

7

6

5

4

3

2

1

Street

Entr

y

Entr

y

Entr

y

Entr

y

ATM

ATM

ATM

Lin

k

1

2

3

70

ATM

96

3

ATM

Bert

hin

g D

ock

Bik

e R

ack

s

Bik

e Share

Sta

tion

Busin

ess C

entr

e

Cafe

Clo

ak R

oom

Custo

mer

Serv

ice

Dis

able

d A

ccess

Door

Num

bers

Lift

Pare

nts

Room

Park

ing

Polly W

oodsid

e

Pra

yer

Room

Public

Acc

ess

Secu

rity

Sta

irw

ay

Taxi R

ank

Tic

ket

Off

ice

Tram

line

Tram

Num

ber

MCEC V

enue M

ap

www.v

isitm

elbourn

e.com

(Melb

ourne V

isito

r Info

rmatio

n)

www.m

etlink.c

om.a

u (Public

Tra

nsport

Info

rmatio

n)

WELCO

ME T

O T

HE M

ELB

OU

RN

E C

ON

VEN

TIO

N A

ND

EXH

IBIT

ION

CEN

TR

E (

MCEC)

WELCO

ME T

O T

HE M

ELB

OU

RN

E C

ON

VEN

TIO

N A

ND

EXH

IBIT

ION

CEN

TR

E (

MCEC)

N

St Kilda Road

South

ern

Cro

ss Sta

tion

City R

oad

Normanby

RoadClarendon Street

Kings Way

Brunton Avenue

Bourke S

treet

Harbour EsplanadeColli

ns Str

eetTe

lstr

a

Dom

e

Flinders

Str

eet

Statio

n

Federa

tion

Square

CrownComplex

CEN

TR

AL

BU

SIN

ESS

DIS

TR

ICT

Spencer Streeet

Flinders

Stre

et

Collins S

treet

Bourke S

treet

AR

TS

PR

ECIN

CT

SPO

RTS

PR

ECIN

CT

Westg

ate F

reew

ay

Wurundjeri Way

Montague Street

Crown

Complex

Hilto

n

Hote

l

Reta

il

Reta

ilO

ffic

e

Tow

er

Convention Centre

Place

Exhib

itio

n

Centr

e

Conve

nti

on

Centr

e

Footb

ridge

YARRA RIVER

1121

099

6

96

109

112

48

70

48

70

75

Wuru

ndjeri

Way

DO

CK

LAN

DS

Worl

d

Trade

Centr

e Clarendon Street

WESTGATE FREEWAY

FLINDERS

STREET STATIO

N

Melb

ourn

e C

onve

ntion C

entr

e

1 C

onve

ntion C

entr

e P

lace, South

Wharf

3006

Melb

ourn

e E

xhib

itio

n C

entr

e

2 C

lare

ndon S

treet,

South

Wharf

3006

96 S

outh

Wharf

Pre

cin

ct

3

Monday, 28th August

8:00–8:30 Registration and morning coffee (Foyer)

8:30–10:00 Workshops and Doctoral Program

R. 101 Colloquium on Implementation of Constraint Logic Programming Sys-tems (CICLOPS) / Workshop on Parallel Methods for Constraint Solving(PaSeO)

R. 103 Doctoral ProgramR. 107 Pragmatics of Constraint Reasoning (PoCR)R. 108 Constraint Solvers in Testing, Verification and Analysis (CSTVA)R. 111 Logic and Search (LaSh)

10:00–10:30 Coffee, tea, refreshments (Foyer)


R. 101 CICLOPS / PaSeOR. 103 Doctoral ProgramR. 107 PoCRR. 108 CSTVAR. 111 LaSh

12:00–13:30 Lunch break (lunch not provided)


R. 101 Progress Towards the Holy Grail (PTHG)R. 102 Constraint Modeling and Reformulation (ModRef)R. 103 Doctoral ProgramR. 107 PoCRR. 108 CSTVAR. 111 LaSh


4 (Monday)


R. 101 PTHGR. 102 ModRefR. 103 Doctoral ProgramR. 107 PoCRR. 108 CSTVAR. 111 LaSh

19:00–21:00 Doctoral Program Dinner

Spaghetti Tree, 59 Bourke St

Tuesday, 29th August


8:45–9:00 Room 109 Plenary

Welcome

9:00–10:00 Room 109 Invited talk: Holger Hoos

The best of both worlds: Machine learning meets logical reasoning


10:30–12:10 Room 109 CP1: Graphs and Graphical Models(chair: John Hooker)

10:30 On Maximum Weight Clique Algorithms, and How They Are EvaluatedCiaran McCreesh, Patrick Prosser, Kyle Simpson and James Trimble

10:55 Rotation-Based Filtering for Stable MatchingMohamed Siala and Barry O’Sullivan

11:20 A Constraint Composite Graph-Based ILP Encoding of the Weighted CSPHong Xu, Sven Koenig and T. K. Satish Kumar

11:45 MDDs: Sampling and Probability ConstraintsGuillaume Perez and Jean-Charles Regin

5 (Tuesday)

10:30–12:10 Room 112 CP2: Theory(chair: George Katsirelos)

10:30 Kernelization of Constraint Satisfaction Problems: A Study through Uni-versal AlgebraVictor Lagerqvist and Magnus Wahlstrom

10:55 All or nothing: toward a promise problem dichotomy for constraint prob-lemsLucy Ham and Marcel Jackson

11:20 Analyzing lattice point feasibility in UTVPI constraintsK. Subramani and Piotr Wojciechowski

11:45 Conditions Beyond Treewidth for Tightness of Higher-order LP RelaxationsMark Rowland, Aldo Pacchiano and Adrian Weller

10:30–12:00 Room 111 ICLP1: Semantics(chair: Manuel Hermenegildo)

10:30 Fixpoint Semantics and Optimization of Recursive Datalog Programs withAggregatesCarlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky

and Tyson Condie

11:00 Program Completion in the Input Language of GRINGOAmelia Harrison, Vladimir Lifschitz and Dhananjay Raju

11:30 Well-Founded Operators for Normal Hybrid MKNF Knowledge BasesJianmin Ji, Fangfang Liu and Jia-Huai You

10:30–12:00 Room 110 SAT1: MaxSAT and Minimal Correction Sets(chair: Nina Narodytska)

10:30 On Tackling the Limits of Resolution in SAT SolvingAlexey Ignatiev, Antonio Morgado and Joao Marques-Silva

10:55 MaxPre: An Extended MaxSAT Preprocessor (tool paper)Tuukka Korhonen, Jeremias Berg, Paul Saikko and Matti Jarvisalo

11:10 short break

11:20 (I Can Get) Satisfaction: Preference-based Scheduling for Concert-Goersat Multi-Venue Music FestivalsEldan Cohen, Guoyu Huang and J. Christopher Beck

11:45 Improving MCS Enumeration via CachingAlessandro Previti, Carlos Mencia, Matti Jarvisalo and Joao Marques-Silva


6 (Tuesday)

13:30–14:30 Room 109 Tutorial 1: Pietro Belotti

Mixed Integer Nonlinear Programming

13:30–14:30 Room 110 Tutorial 2: Armin Biere

Introduction to SAT

14:30–15:20 Room 109 CP3: Search(chair: Willem-Jan van Hoeve)

14:30 Learning Rate Based Branching Heuristic for SAT SolversJia Liang, Vijay Ganesh, Pascal Poupart and Krzysztof Czarnecki

14:55 Search strategies for solving floating point constraint systemsHeytem Zitoun, Claude Michel, Laurent Michel and Michel Rueher

14:30–15:20 Room 112 CP4: Probabilistic Reasoning(chair: Mark Wallace)

14:30 Minimum-Width Confidence Bands via Constraint OptimizationJeremias Berg, Emilia Oikarinen, Matti Jarvisalo and Kai Puolamaki

14:55 Combining Stochastic Constraint Optimization and Probabilistic Program-ming: From Knowledge Compilation to Constraint SolvingAnna Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den

Broeck, Luc De Raedt and Siegfried Nijssen

15:20–15:30 Room 109 CP: upcoming conferences(chair: Chris Beck)

15:20 CPAIOR2018 and CP2018 Presentation

14:30–15:30 Room 111 ICLP2: Systems and Tools(chair: Mario Alviano)

14:30 Inspecting Maude Variants with GLINTS (Tool paper)Marıa Alpuente, Angel Cuenca-Ortega, Santiago Escobar and Julia Sapina

15:00 Computing LPMLN Using ASP and MLN SolversJoohyung Lee, Samidh Talsania and Yi Wang

7 (Tuesday)

14:30–15:20 Room 110 SAT2: QBF SAT 1(chair: Olaf Beyersdorff)

14:30 A Resolution-style Proof System for DQBFMarkus N. Rabe

14:55 From DQBF to QBF by Dependency EliminationRalf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl and Bernd

Becker


16:00–17:00 Room 109 CP: Awards(chairs: Laurent Michel, Tias Guns)

16:00 ACP Research Excellence Award16:30 ACP Dissertation Award

16:00–17:00 Room 111 ICLP3: Test of Time Award (10 years)(chair: Mirek Truszczynski)

16:00 User-Definable Resource Bounds Analysis for Logic ProgramsJorge Navas, Edison Mera, Pedro Lopez-Garcia, and Manuel V. Hermenegildo

16:00–17:30 Room 110 SAT3: Best Paper Awards(chair: Friedrich Slivovsky)

16:00 Introducing Pareto Minimal Correction Subsets (Best Student PaperAward)Miguel Terra-Neves, Ines Lynce and Vasco Manquinho

16:30 Shortening QBF Proofs with Dependency Schemes (Best Paper Award)Joshua Blinkhorn and Olaf Beyersdorff

17:00 An Empirical Study of Branching Heuristics through the Lens of GlobalLearning Rate (Best Student Paper Honourable Mention)Jia Liang, Vijay Ganesh, Krzysztof Czarnecki, Pascal Poupart and Hari Govind V

K

17:00–17:50 Room 109 CP5: Modeling(chair: Jimmy Lee)

17:00 Optimizing SAT Encodings for Arithmetic ConstraintsNeng-Fa Zhou and Hakan Kjellerstrand

17:25 Modeling with Metaconstraints and Semantic Typing of VariablesAndre Cire, John Hooker and Tallys Yunes

8 (Tuesday)

17:00–17:50 Room 112 CP6: Security and Attacks(chair: Ciaran McCreesh)

17:00 A Tolerant Algebraic Side-Channel Attack on AES Using CPFanghui Liu, Waldemar Cruz, Chujiao Ma, Gregory Johnson and Laurent Michel

17:25 Android Database Attacks RevisitedBehnaz Hassanshahi and Roland Yap

17:00–18:00 Room 111 ICLP4: Technical Communications: Implementation & Tools(chair: Amelia Harrison)

17:00 A Hitchhiker’s Guide to Reinventing a Prolog MachinePaul Tarau

17:12 Term Hiding and its Impact on Run-time Check SimplificationNataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo

17:24 Semantic Versioning Checking in a Declarative Package ManagerMichael Hanus

17:36 Logic Programming with Max-Clique and its Application to Graph ColoringMichael Codish, Michael Frank, Amit Metodi and Morad Muslimany

17:48 Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfind-ingNeng-Fa Zhou and Roman Bartak

18:00–20:00 Room 110 Opening reception

Drinks and canapesColette Colmerauer: Alain Colmerauer, a few clues...

Wednesday, 30th August


9:00–10:00 Room 109 Invited talk: Mark Wallace

Constraints and the 4th Industrial Revolution


9 (Wednesday)

10:30–12:10 Room 109 CP7: Clustering, Mining, & Synthesis(chair: Mohamed Siala)

10:30 Constraint Programming for Multi-criteria Conceptual ClusteringMaxime Chabert and Christine Solnon

10:55 A New Declarative Framework for Constrained Community DetectionMohadeseh Ganji, James Bailey and Peter J. Stuckey

11:20 CoverSize: A Global Constraint for Frequency-based Itemset MiningPierre Schaus, John Aoga and Tias Guns

11:45 Constraint-Based Synthesis of Datalog ProgramsAws Albarghouthi, Paraschos Koutris, Mayur Naik and Calvin Smith

10:30–12:10 Room 112 CP8: Scheduling(chair: Ken Brown)

10:30 An Incomplete Constraint-Based System for Scheduling With RenewableResourcesCedric Pralet

10:55 Integer and Constraint Programming for Batch Annealing Process PlanningWillem-Jan Van Hoeve and Sridhar Tayur

11:20 NightSplitter: a scheduling tool to optimize (sub)group activitiesTong Liu, Jacopo Mauro, Maurizio Gabbrielli and Roberto Di Cosmo

11:45 Time-aware Test Case Execution Scheduling for Cyber-Physical SystemsMorten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling and Mats Carlsson

10:30–12:00 Room 111 ICLP5: Knowledge Representation and Reasoning(chair: Esra Erdem)

10:30 Representing Hybrid Automata by Action Language Modulo TheoriesJoohyung Lee, Nikhil Loney and Yunsong Meng

11:00 Productive Corecursion in Logic ProgrammingEkaterina Komendantskaya and Yue Li

11:30 Model Enumeration in Propositional Circumscription via Unsatisfiable CoreAnalysisMario Alviano

10:30–12:00 Room 110 SAT4: Clause learning and symmetry handling(chair: Gilles Audemard)

10:30 Symmetric explanation learning: Effective dynamic symmetry handling forSATJo Devriendt, Bart Bogaerts and Maurice Bruynooghe

10 (Wednesday)

10:55 An adaptive prefix-assignment technique for symmetry reductionTommi Junttila, Matti Karppa, Petteri Kaski and Jukka Kohonen

11:20 On the community structure of Bounded Model Checking SAT problemsGuillaume Baud-Berthier, Jesus Giraldez-Cru and Laurent Simon

11:45 Coverage-based Clause Reduction Heuristics for CDCL SolversHidetomo Nabeshima and Katsumi Inoue


13:30–14:30 Room 109 Tutorial 3: Guido Tack

Introduction to Constraint Programming

13:30–14:30 Room 110 Tutorial 4: Tias Guns

Machine Learning and Data Science

14:30–15:30 Room 109 Invited talk: Enrico Pontelli

Back to the Future – Parallelism and Logic Programming


16:00–17:40 Room 204 CP: Best Papers(chair: Chris Beck)

16:00 Arc consistency via Linear ProgrammingGrigori German, Olivier Briant, Hadrien Cambazard and Vincent Jost

16:25 Reduced Cost Fixing in MaxSATFahiem Bacchus, Matti Jarvisalo, Paul Saikko and Antti Hyttinen

16:50 Optimal Torpedo SchedulingAdrian Goldwaser and Andreas Schutt

17:15 Improved Filtering for the Bin-Packing with Cardinality ConstraintGuillaume Derval, Jean-Charles Regin and Pierre Schaus

17:40–18:10 Room 204 CP: Competitions(chair: Chris Beck)

17:40 XCSP Competition and MiniZinc Challenge Results

11 (Wednesday)

16:00–17:30 Room 209 ICLP6: Reasoning(chair: Vladimir Lifschitz)

16:00 Finite Model Reasoning over Existential Rules (Best Student Paper)Giovanni Amendola, Nicola Leone and Marco Manna

16:30 Ticker: A System for Incremental ASP-based Stream ReasoningHarald Beck, Thomas Eiter and Christian Folie

17:00 When You Must Forget: Beyond Strong Persistence when Forgetting inAnswer Set ProgrammingRicardo Goncalves, Matthias Knorr, Joao Leite and Stefan Woltran

16:00–17:30 Room 210 SAT5: SAT encoding(chair: Serge Gaspers)

16:00 SAT-Encodings for Special Treewidth and PathwidthNeha Lodha, Sebastian Ordyniak and Stefan Szeider

16:25 CNFgen: a Generator of Crafted Benchmarks (tool paper)Massimo Lauria, Jan Elffers, Jakob Nordstrom and Marc Vinyals

16:40 short break

16:50 A lower bound on CNF encodings of the at-most-one constraintPetr Kucera, Petr Savicky and Vojtech Vorel

17:15 SAT-Based Local Improvement for Finding Tree Decompositions of SmallWidthJohannes K. Fichte, Neha Lodha and Stefan Szeider

17:30–19:00 Room 209 ICLP7: Technical Communications: Knowledge Representa-tion & Probabilistic Logic Programming

(chair: Paul Tarau)

17:30 Entity Set Expansion from the Web via Answer Set Programming (appli-cation paper)Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, and

Marek Adrian

17:42 Understanding Restaurant Stories Using an ASP Theory of IntentionsDaniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney

17:54 Reasoning on Anonymity in Datalog+/-Giovanni Amendola, Nicola Leone, Marco Manna and Pierfrancesco Veltri

18:06 The Ingredients of the Argumentation Reasoner pyglaf: Python, Circum-scription, and Glucose to Taste (system and tool paper)Mario Alviano

18:18 Learning Effect Axioms via Probabilistic Logic ProgrammingRolf Schwitter

12 (Wednesday)

18:30 Rule Based Temporal InferenceMelisachew Wudage Chekol and Heiner Stuckenschmidt

17:30–18:30 Room 210 SAT Plenary

17:30 SAT Business Meeting

19:30–21:30 Room 207 ICLP Programming Competition

Thursday, 31st August


8:45–9:00 Room 109 Industry presentation: Daniel Hulme

Optimisation-as-a-Service with the Satalia SolveEngine

9:00–10:00 Room 109 Invited talk: Nina Narodytska

Recent advances in Maximum Satisfiability


10:30–12:10 Room 109 CP9: Explanations, Nogoods, Cuts, and Preferences(chair: Claude-Guy Quimper)

10:30 Combining Nogoods in Restart-Based SearchGael Glorian, Frederic Boussemart, Jean-Marie Lagniez, Christophe Lecoutre and

Bertrand Mazure

10:55 Preference Elicitation for DCOPsAtena M.Tabakhi, Tiep Le, Ferdinando Fioretto and William Yeoh

11:20 Generating Linear Invariants for a Conjunction of Automata ConstraintsEkaterina Arafailova, Nicolas Beldiceanu and Helmut Simonis

11:45 Clique Cuts in Weighted Constraint SatisfactionSimon De Givry and George Katsirelos

13 (Thursday)

10:30–12:10 Room 112 CP10: Scheduling & Sequencing(chair: Cedric Pralet)

10:30 An efficient SMT approach to solve MRCPSP/max instances with tightconstraints on resourcesJordi Coll, Miquel Bofill, Josep Suy and Mateu Villaret

10:55 Constraint Programming applied to the Multi-Skill Project SchedulingProblemKenneth D. Young, Thibaut Feydy and Andreas Schutt

11:20 Hybrid Optimization Methods for Time-Dependent Sequencing ProblemsJoris Kinable, Andre Augusto Cire and Willem-Jan Van Hoeve

11:45 Job Sequencing Bounds from Decision DiagramsJohn Hooker

10:30–12:00 Room 111 ICLP8: Higher Order Logic(chair: Agostino Dovier)

10:30 The Intricacies of 3-Valued Extensional Semantics for Higher-Order LogicPrograms (Best Paper)Panos Rondogiannis and Ioanna Symeonidou

11:00 Constraint Handling Rules with Binders, Patterns and ∇ QuantificationAlejandro Serrano and Jurriaan Hage

11:30 Best ICLP Doctoral Program Presentation

10:30–12:00 Room 110 SAT6: Algorithms, Complexity, and Lower Bounds(chair: Fahiem Bacchus)

10:30 Backdoor Treewidth for SATRobert Ganian, M. S. Ramanujan and Stefan Szeider

10:55 Probabilistic Model Counting with Short XORsDimitris Achlioptas and Panos Theodoropoulos

11:20 New Width Parameters for Model CountingRobert Ganian and Stefan Szeider

11:45 Hard satisfiable formulas for splittings by linear combinationsDmitry Itsykson and Alexander Knop


13:30–14:00 Room 109 Plenary

Session in Honour of Alain Colmerauer. Chair: Chris Beck

14 (Thursday)

14:00–15:30 Room 109 CP Plenary

14:00 ACP Annual Meeting

14:00–15:30 Room 111 ICLP Plenary

14:00 ALP General Meeting

14:00–15:30 Room 110 SAT7: Competition results(chair: Laurent Simon)

14:00 MaxSAT Evaluation 2017Carlos Ansotegui, Fahiem Bacchus, Matti Jarvisalo and Ruben Martins

14:30 Competitive Evaluation of QBF Solvers (QBFEVAL’17)Luca Pulina and Martina Seidl

15:00 SAT competition 2017Marijn Heule, Matti Jarvisalo and Tomas Balyo

15:30–18:00 Guided tours

18:30–22:30 Conference banquet

Sea Life Melbourne Aquarium, King St entrance

Friday, 1st September


9:00–10:00 Room 109 Invited talk: Agostino Dovier

The role of SAT, CP, and Logic Programming in Computational Biology


15 (Friday)

10:30–12:10 Room 109 CP11: SAT(chair: Christophe Lecoutre)

10:30 Integrating ILP and SMT for Shortwave Radio Broadcast Resource Alloca-tion and Frequency AssignmentLinjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin and Jian Zhang

10:55 Weight-Aware Core Extraction in SAT-Based MaxSAT SolvingJeremias Berg and Matti Jarvisalo

11:20 MaxSAT-Based Large Neighborhood Search For High School TimetablingEmir Demirovic and Nysret Musliu

11:45 Solving Multiobjective Discrete Optimization Problems with PropositionalMinimal Model GenerationTakehide Soh, Mutsunori Banbara, Naoyuki Tamura and Daniel Le Berre

10:30–12:10 Room 112 CP12: Constraint Types(chair: Nicolas Beldiceanu)

10:30 A Novel Approach to String Constraint SolvingRoberto Amadini, Graeme Gange, Peter J. Stuckey and Guido Tack

10:55 Solving Constraint Satisfaction Problems Containing Vectors of UnknownSizeErez Bilgory, Eyal Bin and Avi Ziv

11:20 Defining and Evaluating Heuristics for the Compilation of Constraint Net-worksJean Marie Lagniez, Pierre Marquis and Anastasia Paparrizou

11:45 Extending Compact-Table to Basic Smart TablesHelene Verhaeghe, Christophe Lecoutre, Yves Deville and Pierre Schaus

10:30–12:00 Room 111 ICLP9: Answer Set Programming(chair: Jia-Huai You)

10:30 Achievements in Answer Set ProgrammingVladimir Lifschitz

11:00 Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empiri-cal AnalysisBernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schuller

11:30 Clingo goes Linear Constraints over Reals and IntegersTomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian

Schellhorn and Philipp Wanko

16 (Friday)

10:30–12:00 Room 110 SAT8: SMT and certificates(chair: Armin Biere)

10:30 On Simplification of Formulas with Unconstrained Variables and QuantifiersMartin Jonas and Jan Strejcek

10:55 Theory Refinement for Program VerificationAntti Hyvarinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich,

Hana Chockler and Natasha Sharygina

11:20 A Benders Decomposition Approach to Deciding Modular Linear IntegerArithmeticBishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter

J. Stuckey

11:45 The GRAT Tool Chain: Efficient (UN)SAT Certificate Checking with For-mal Correctness Guarantees (tool paper)Peter Lammich


13:30–15:35 Room 109 CP13: Global Constraints(chair: Roland Yap)

13:30 Among Implied Constraints for Two Families of Time-Series ConstraintsEkaterina Arafailova, Nicolas Beldiceanu and Helmut Simonis

13:55 Ranking ConstraintsChristian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan and

Toby Walsh

14:20 Three Generalizations of the Focus ConstraintNina Narodytska, Thierry Petit, Mohamed Siala and Toby Walsh

14:45 Conjunctions of Among ConstraintsVictor Dalmau

15:10 Learning the Parameters of Global Constraints Using Branch-and-BoundEmilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper and Jason

Sweeney

13:30–15:35 Room 112 CP14: Routing and Transportation(chair: Andreas Schutt)

13:30 Constraint Handling in Flight PlanningAnders Nicolai Knudsen, Marco Chiarandini and Kim S. Larsen

13:55 Constraint-Based Fleet Design Optimisation for Multi-Compartment Split-Delivery Rich Vehicle RoutingTommaso Urli and Philip Kilby

17 (Friday)

14:20 A Column-Generation Algorithm for Evacuation Planning with ElementaryPathsMohd. Hafiz Hasan and Pascal Van Hentenryck

14:45 Branch-and-Check with Explanations for the Vehicle Routing Problem withTime WindowsEdward Lam and Pascal Van Hentenryck

15:10 An Optimization Model for 3D Pipe Routing with Flexibility ConstraintsGleb Belov, Tobias Czauderna, Maria Garcia de La Banda, Mark Wallace, Michael

Wybrow and Amel Dzaferovic

13:30–14:30 Room 111 ICLP10: Test of Time Award (20 years)(chair: Gopal Gupta)

13:30 Hybrid Probabilistic ProgramsAlex Dekhtyar and V.S. Subrahmanian

13:30–14:35 Room 110 SAT9: Parallel SAT solving(chair: Alexey Ignatiev)

13:30 A Distributed Version of SyrupGilles Audemard, Jean Marie Lagniez, Nicolas Szczepanski and Sebastien Tabary

13:55 PaInleSS: a Framework for Parallel SAT SolvingLudovic Le Frioux, Souheib Baarir, Julien Sopena and Fabrice Kordon

14:20 A Propagation Rate based Splitting Heuristic for Divide-and-ConquerSolversSaeed Nejati, Zack Newsham, Joseph Scott, Jia Liang, Catherine Gebotys, Pascal

Poupart and Vijay Ganesh

14:45–15:35 Room 110 SAT10: QBF SAT 2(chair: Olaf Beyersdorff)

14:45 Dependency Learning for QBFTomas Peitl, Friedrich Slivovsky and Stefan Szeider

15:10 A Little Blocked Literal Goes a Long WayBenjamin Kiesl, Marijn Heule and Martina Seidl

14:30–15:30 Room 111 ICLP11: Defeasible and Default Reasoning(chair: Francesco Ricca)

14:30 Annotated Defeasible LogicGuido Governatori and Michael Maher

18 (Friday)

15:00 A New Algorithm to Automate Inductive Learning of Default TheoriesFarhad Shakerin, Elmer Salazar and Gopal Gupta


16:00–17:30 Room 111 ICLP12: Applications(chair: Michael Codish)

16:00 Hybrid Conditional Planning using Answer Set ProgrammingIbrahim Faruk Yalciner, Ahmed Nouman, Volkan Patoglu and Esra Erdem

16:30 Improving Adherence to Heart Failure Management Guidelines via Abduc-tive Reasoning (Application Paper)Zhuo Chen, Elmer Salazar, Kyle Marple, Lakshman Tamil, Gopal Gupta, Sandeep

Das and Alpesh Amin

17:00 Logic Programming Approaches for Routing Fault-free and Maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)Marco Gavanelli, Maddalena Nonato, Andrea Peano and Davide Bertozzi

17:30 Conference closes (Foyer)

19 (Friday)

Sponsors

SATAssociation

IBM and the IBM logo are trademarks of International Business Machines Corp., registered in manyjurisdictions worldwide.

welcome to melbourne!sat2017.gitlab.io/booklet_a5.pdf · international conference on logic...

Documents