CP Program

CP PROGRAM

Days: Monday, August 1st Tuesday, August 2nd Wednesday, August 3rd Thursday, August 4th Friday, August 5th

Monday, August 1st

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:30 Session 26L: Doctoral Program

Chair:

Hélène Verhaeghe

Location: Taub 4

09:00	Hélène Verhaeghe Opening
09:05	Nina Narodytska Industrial Research Career Path as a Sequence of Constraint Satisfaction Problems
10:00	Xiao Peng, Olivier Simonin and Christine Solnon Solving the Non-Crossing MAPF for non point-sized robots (abstract) PRESENTER: Xiao Peng
10:20	Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo and Quentin Cappart Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (abstract) PRESENTER: Louis Popovic
10:23	Augustin Delecluse, Pierre Schaus and Pascal Van Hentenryck Extended Abstract: Sequence Variables for Routing Problems (abstract) PRESENTER: Augustin Delecluse
10:26	Daphné Lafleur, Sarath Chandar and Gilles Pesant Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints - Extended Abstract (abstract) PRESENTER: Daphné Lafleur

10:30-11:00Coffee Break

10:30-11:00 Session 30A: Doctoral Program: Poster session

Location: Taub floor 1 lobby

10:30-11:00 Session 30B

11:00-12:30 Session 31R: Doctoral Program

Chair:

Hélène Verhaeghe

Location: Taub 4

11:00	Simon de Givry Interdisciplinary Research -- Cost Function Network for Life Sciences
11:55	Marco Dalla, Andrea Visentin and Barry O'Sullivan Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders (abstract) PRESENTER: Marco Dalla
12:15	Felix Ulrich-Oltean, Peter Nightingale and James Walker Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (abstract) PRESENTER: Felix Ulrich-Oltean
12:18	Isaac Rudich, Quentin Cappart and Louis-Martin Rousseau Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (abstract) PRESENTER: Isaac Rudich
12:21	Vianney Coppé, Xavier Gillard and Pierre Schaus Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (Extended Abstract) (abstract) PRESENTER: Vianney Coppé
12:24	Ruiwei Wang and Roland Yap CNF Encodings of Binary Constraint Trees (Extended Abstract) (abstract) PRESENTER: Ruiwei Wang

12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 34R: Doctoral Program

Chair:

Hélène Verhaeghe

Location: Taub 4

14:00	Thibault Falque, Christophe Lecoutre, Bertrand Mazure and Hugues Wattez Aggressive Bound Descent for Constraint Optimization (abstract) PRESENTER: Thibault Falque
14:20	Auguste Burlats and Gilles Pesant Exploiting Model Entropy to Make Branching Decisions in Constraint Programming (abstract) PRESENTER: Auguste Burlats
14:40	Sharmi Dev Gupta, Begum Genc and Barry O'Sullivan Finding Counterfactual Explanations through Constraint Relaxations (abstract) PRESENTER: Sharmi Dev Gupta
15:00	Andrea Balogh and Barry O'Sullivan Symmetry breaking and Knowledge Compilation (abstract) PRESENTER: Andrea Balogh
15:20	Siddharth Prasad, Maria-Florina Balcan, Tuomas Sandholm and Ellen Vitercik Improved Sample Complexity Bounds for Branch-and-Cut (abstract) PRESENTER: Siddharth Prasad
15:23	Jimmy H. M. Lee and Allen Z. Zhong Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract) (abstract) PRESENTER: Allen Z. Zhong
15:26	Jheisson López, Laura Climent and Alejandro Arbelaez Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (abstract) PRESENTER: Jheisson López

15:30-16:00Coffee Break

15:30-16:00 Session 36A: Doctoral Program: Poster session

Location: Taub floor 1 lobby

15:30-16:00 Session 36B

16:00-17:30 Session 37R: Doctoral Program

Chair:

Hélène Verhaeghe

Location: Taub 4

16:00	Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna and Panagiotis Papadimitratos Optimized Code Generation against Power Side Channels (abstract) PRESENTER: Rodothea Myrsini Tsoupidi
16:20	Priyanka Golia, Subhajit Roy and Kuldeep S. Meel Boolean Functional Synthesis and its Applications (abstract) PRESENTER: Priyanka Golia
16:40	Thibault Falque and Romain Wallon On PB Encodings for Constraint Problems (abstract) PRESENTER: Thibault Falque
17:00	Ramiz Gindullin, Nicolas Beldiceanu and Jovial Cheukam Ngouonou A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds (abstract) PRESENTER: Ramiz Gindullin
17:20	Alexander Ek, Andreas Schutt, Peter J. Stuckey and Guido Tack Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) (abstract) PRESENTER: Alexander Ek
17:23	Christopher Coulombe and Claude-Guy Quimper Extended Abstract: Constraint Acquisition Based on Solution Counting (abstract) PRESENTER: Christopher Coulombe
17:26	Nicolas Beldiceanu, Jovial Cheukam Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (abstract) PRESENTER: Jovial Cheukam Ngouonou

18:00-19:00 Session 42: A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot

Chair:

Nachum Dershowitz

Location: Taub 1

18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event

Tuesday, August 2nd

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

08:50-09:00 Session 43A: Welcome

Chairs:

Roie Zivan and Christine Solnon

Location: Taub 7

09:00-10:30 Session 44A: ML

Chair:

Hélène Verhaeghe

Location: Taub 7

09:00	Senne Berden, Mohit Kumar, Samuel Kolb and Tias Guns Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation (abstract) PRESENTER: Senne Berden
09:30	Felix Ulrich-Oltean, Peter Nightingale and James Alfred Walker Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (abstract) PRESENTER: Felix Ulrich-Oltean
10:00	Maria-Florina Balcan, Siddharth Prasad, Tuomas Sandholm and Ellen Vitercik Improved Sample Complexity Bounds for Branch-and-Cut (abstract) PRESENTER: Siddharth Prasad

09:00-10:30 Session 44B: Theory

Chair:

Emmanuel Hebrard

Location: Taub 4

09:00	Jan Dreier, Sebastian Ordyniak and Stefan Szeider CSP Beyond Tractable Constraint Languages (abstract) PRESENTER: Stefan Szeider
09:30	Clément Carbonnel On Redundancy in Constraint Satisfaction Problems (abstract)
10:00	Kristina Asimi, Libor Barto and Silvia Butti Fixed-Template Promise Model Checking Problems (abstract) PRESENTER: Kristina Asimi

10:30-11:00Coffee Break

11:00-11:10 Session 47: FLoC opening

Location: Churchill Auditorium

11:10-12:10 Session 48: Keynote

Chair:

Alexandra Silva

Location: Churchill Auditorium

11:10

Catuscia Palamidessi

Information Structures for Privacy and Fairness (abstract)

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

14:00-15:30 Session 50A: Tutorial

Chair:

Jimmy Lee

Location: Taub 7

14:00

Ciaran McCreesh, Bart Bogaerts and Jakob Nordström

Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming (abstract)

PRESENTER: Ciaran McCreesh

14:00-15:30 Session 50B: Applications

Chair:

Gilles Pesant

Location: Taub 4

14:00	Chaithanya Basrur, Arambam James Singh, Arunesh Sinha, Akshat Kumar and T. K. Satish Kumar Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data (abstract) PRESENTER: Chaithanya Basrur
14:30	Raphaël Boudreault, Vanessa Simard, Daniel Lafond and Claude-Guy Quimper A Constraint Programming Approach to Ship Refit Project Scheduling (abstract) PRESENTER: Raphaël Boudreault
15:00	Timothy Curry, Gabe DePace, Benjamin Fuller, Laurent Michel and Yan Sun DUELMIPs: Jointly Optimizing Software Defined Network Functionality and Security (abstract) PRESENTER: Timothy Curry

15:30-16:00Coffee Break

16:00-17:30 Session 54A: OR

Chair:

Christophe Lecoutre

Location: Taub 7

16:00	Abdelkader Beldjilali, David Allouche, Pierre Montalbano, George Katsirelos and Simon de Givry Parallel Hybrid Best-First Search (abstract) PRESENTER: Simon de Givry
16:30	Augustin Delecluse, Pierre Schaus and Pascal Van Hentenryck Sequence Variables for Routing Problems (abstract) PRESENTER: Augustin Delecluse
17:00	Marijn Heule, Anthony Karahalios and Willem-Jan van Hoeve From Cliques to Colorings and Back Again (abstract) PRESENTER: Anthony Karahalios

16:00-17:30 Session 54B: Tutorial + ML

16:00-17:00: Tutorial

17:00-17:30: Machine Learning

Chair:

Peter Nightingale

Location: Taub 4

16:00	Louis-Martin Rousseau and Quentin Cappart Building a Constraint Programming Solver Guided by Machine Learning: Opportunities and Challenges (abstract) PRESENTER: Louis-Martin Rousseau
17:00	Daphné Lafleur, Sarath Chandar and Gilles Pesant Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints (abstract) PRESENTER: Daphné Lafleur

17:30-18:30 Session 55: Logic Lounge

Chair:

Georg Weissenbacher

Location: Churchill Auditorium

17:30

Francesca Rossi

Thinking Fast and Slow in AI (abstract)

19:00-21:00 FloC Reception (at the Technion)

Location: Churchill Patio

Wednesday, August 3rd

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:00 Session 56A: Invited Talk (zoom link: https://technion.zoom.us/j/97111314813)

Chairs:

Christine Solnon and Christian Bessiere

Location: Churchill Auditorium

09:00

Donald Knuth

All Questions Answered (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 58A: Modelling + Robust solutions

11:00-12:00: Modelling

12:00-12:30: Robust Solutions

Chair:

Nicolas Beldiceanu

Location: Taub 7

11:00	Ágnes Cseh, Guillaume Escamocher and Luis Quesada Computing relaxations for the three-dimensional stable matching problem with cyclic preferences (abstract) PRESENTER: Luis Quesada
11:30	Ruth Hoffmann, Xu Zhu, Özgür Akgün and Miguel Nacenta Understanding how people approach constraint modelling and solving (abstract) PRESENTER: Ruth Hoffmann
12:00	Jheisson Lopez, Alejandro Arbelaez and Laura Climent Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (abstract) PRESENTER: Jheisson Lopez

11:00-12:30 Session 58B: Applications

Chair:

Willem-Jan Van Hoeve

Location: Taub 4

11:00	Louis Popovic, Alain Côté, Mohamed Gaha, Franklin Nguewouo and Quentin Cappart Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (abstract) PRESENTER: Louis Popovic
11:30	Vianney Coppé, Xavier Gillard and Pierre Schaus Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (abstract) PRESENTER: Vianney Coppé
12:00	Felix Winter, Sebastian Meiswinkel, Nysret Musliu and Daniel Walkiewicz Modeling and Solving Parallel Machine Scheduling with Contamination Constraints in the Agricultural Industry (abstract) PRESENTER: Felix Winter

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

14:00-15:30 Session 59A: Awards

14:00-15:00: Best paper awards

15:00-15:30: Dissertation award

Chair:

Simon de Givry

Location: Taub 7

14:00	Isaac Rudich, Quentin Cappart and Louis-Martin Rousseau Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (abstract) PRESENTER: Isaac Rudich
14:30	Jimmy H. M. Lee and Allen Z. Zhong Exploiting Functional Constraints in Generating Dominance Breaking Nogoods for Constraint Optimization (abstract) PRESENTER: Allen Z. Zhong
15:00	Hélène Verhaeghe Doctoral Research Award

15:30-16:00Coffee Break

16:00-17:30 Session 61A: Awards + ACP General Assembly

16:00-16:30: Early Career Award

16:30-17:30: ACP General Assembly

Chairs:

Chris Beck and Claude-Guy Quimper

Location: Taub 7

16:00

Kuldeep S. Meel

Early Career Award

18:30-20:30 Walking tour (at Haifa)

pickup at 18:00 from the Technion (Tour at Haifa, no food will be provided)

Thursday, August 4th

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:30 Session 63A: Tutorial

Chair:

Claude-Guy Quimper

Location: Taub 7

09:00

Laurent Michel and Willem-Jan Van Hoeve

MDD-Based Constraint Programming in Haddock (abstract)

PRESENTER: Laurent Michel

09:00-10:30 Session 63B: SAT

Chair:

Jean Marie Lagniez

Location: Taub 4

09:00	Mate Soos, Priyanka Golia, Sourav Chakraborty and Kuldeep S. Meel On Quantitative Testing of Samplers (abstract) PRESENTER: Mate Soos
09:30	Amel Hidouri, Said Jabbour and Badran Raddaoui On the Enumeration of Frequent High Utility Itemsets: A symbolic AI Approach (abstract) PRESENTER: Said Jabbour
10:00	Mohamed Sami Cherif, Djamal Habet and Matthieu Py From Crossing-Free Resolution to Max-SAT Resolution (abstract) PRESENTER: Mohamed Sami Cherif

10:30-11:00Coffee Break

11:00-12:30 Session 65A: MDD

Chair:

George Katsirelos

Location: Taub 7

11:00	Rebecca Gentzel, Laurent Michel and Willem-Jan Van Hoeve Heuristics for MDD Propagation in Haddock (abstract) PRESENTER: Rebecca Gentzel
11:30	Ruiwei Wang and Roland Yap CNF Encodings of Binary Constraint Trees (abstract) PRESENTER: Ruiwei Wang
12:00	Helene Fargier, Jérôme Mengin and Nicolas Schmidt Nucleus-Satellites Systems of OMDDs for Reducing the Size of Compiled Forms (abstract) PRESENTER: Nicolas Schmidt

11:00-12:30 Session 65B: Constraint and Conjecture Acquisition

Chair:

Louis-Martin Rousseau

Location: Taub 4

11:00	Mohit Kumar, Samuel Kolb and Tias Guns Learning Constraint Programming Models from Data using Generate-and-Aggregate (abstract) PRESENTER: Samuel Kolb
11:30	Christopher Coulombe and Claude-Guy Quimper Constraint Acquisition Based on Solution Counting (abstract) PRESENTER: Christopher Coulombe
12:00	Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin and Claude-Guy Quimper Acquiring Maps of Interrelated Conjectures on Sharp Bounds (abstract) PRESENTER: Jovial Cheukam-Ngouonou

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

14:00-15:30 Session 67A: Tutorial + Benchmarking

14:00-15:00: Tutorial

15:00-15:30: Benchmarking

Chair:

Ciaran McCreesh

Location: Taub 7

14:00	Alexey Ignatiev Formal Explainable AI (abstract)
15:00	Nguyen Dang, Ozgur Akgun, Joan Espasa, Ian Miguel and Peter Nightingale A framework for generating informative benchmark instances (abstract) PRESENTER: Nguyen Dang

14:00-15:30 Session 67B: Planning + DCOP

14:00-15:00: Planning

15:00-15:30: DCOP

Chair:

Christian Bessiere

Location: Taub 4

14:00	Martin Cooper, Arnaud Lequen and Frédéric Maris Isomorphisms between STRIPS problems and sub-problems (abstract) PRESENTER: Arnaud Lequen
14:30	Joan Espasa Arxer, Ian Miguel and Mateu Villaret Plotting: A Planning Problem With Complex Transitions (abstract) PRESENTER: Joan Espasa Arxer
15:00	Jie Wang, Dingding Chen, Ziyu Chen, Xiangshuang Liu and Junsong Gao Completeness Matters: Towards Efficient Caching in Tree-based Synchronous Backtracking Search for DCOPs (abstract) PRESENTER: Jie Wang

15:30-16:00Coffee Break

16:00-17:00 Session 70: Plenary

Chair:

Orna Grumberg

Location: Churchill Auditorium

16:00

Orna Kupferman

Complexity Measures for Reactive Systems (abstract)

19:30-22:00 FLoC Banquet (at Bikta Bayar - Beit Oren) - Paid event

Friday, August 5th

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:30 Session 73A: DEI Special Event

9:00 Introduction (Chris Beck)

9:05 "Diversity, Equity and Inclusion in CP: Presenting survey results and recent findings" (presenter: Maria Garcia de la Banda)

9:45 Panel on DEI in CP Panelists: Noa Agmon, Luis Quesada, Hélène Verhaeghe Panel facilitators: Chris Beck, Maria Garcia de la Banda

Chairs:

Chris Beck and Maria Garcia de la Banda

Location: Taub 7

10:30-11:00Coffee Break

11:00-12:30 Session 76A: Theory + TDM

11:00-12:00: Theory

12:00-12:30: Trustworthy Decision Making

Chair:

Simon de Givry

Location: Taub 7

11:00	Christian Bessiere, Clément Carbonnel, Martin Cooper and Emmanuel Hebrard Complexity of Minimum-Size Arc-Inconsistency Explanations (abstract) PRESENTER: Emmanuel Hebrard
11:30	Libor Barto and Silvia Butti Weisfeiler-Leman Invariant Promise Valued CSPs (abstract) PRESENTER: Silvia Butti
12:00	Stephan Gocht, Ciaran McCreesh and Jakob Nordström An Auditable Constraint Programming Solver (abstract) PRESENTER: Ciaran McCreesh

11:00-12:30 Session 76B: Propagation + Heuristics

Chair:

Laurent Michel

Location: Taub 4

11:00	Hongbo Li, Yaling Wu, Minghao Yin and Zhanshan Li A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems (abstract) PRESENTER: Hongbo Li
11:30	Alexander Ek, Andreas Schutt, Peter J. Stuckey and Guido Tack Explaining Propagation for Gini and Spread with Variable Mean (abstract) PRESENTER: Alexander Ek
12:00	Fulya Trösser, Simon de Givry and George Katsirelos Structured Set Variable Domains in Bayesian Network Structure Learning (abstract) PRESENTER: George Katsirelos

12:30-14:00Lunch Break

Lunch will be held in Taub lobby (CP, LICS, ICLP) and in The Grand Water Research Institute (KR, FSCD, SAT).

15:30-16:00Coffee Break