FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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 abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26L: Doctoral Program
Location: Taub 4
09:00
Opening
09:05
Industrial Research Career Path as a Sequence of Constraint Satisfaction Problems
10:00
Solving the Non-Crossing MAPF for non point-sized robots (abstract)
PRESENTER: Xiao Peng
10:20
Extended Abstract for : Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (abstract)
PRESENTER: Louis Popovic
10:23
Extended Abstract: Sequence Variables for Routing Problems (abstract)
10:26
Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints - Extended Abstract (abstract)
PRESENTER: Daphné Lafleur
10:30-11:00Coffee Break
11:00-12:30 Session 31R: Doctoral Program
Location: Taub 4
11:00
Interdisciplinary Research -- Cost Function Network for Life Sciences
11:55
Automated SAT Problem Feature Extraction using 1 Convolutional Autoencoders (abstract)
PRESENTER: Marco Dalla
12:15
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (abstract)
12:18
Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (abstract)
PRESENTER: Isaac Rudich
12:21
Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (Extended Abstract) (abstract)
PRESENTER: Vianney Coppé
12:24
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
Location: Taub 4
14:00
Aggressive Bound Descent for Constraint Optimization (abstract)
PRESENTER: Thibault Falque
14:20
Exploiting Model Entropy to Make Branching Decisions in Constraint Programming (abstract)
PRESENTER: Auguste Burlats
14:40
Finding Counterfactual Explanations through Constraint Relaxations (abstract)
PRESENTER: Sharmi Dev Gupta
15:00
Symmetry breaking and Knowledge Compilation (abstract)
PRESENTER: Andrea Balogh
15:20
Improved Sample Complexity Bounds for Branch-and-Cut (abstract)
PRESENTER: Siddharth Prasad
15:23
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization (Extended Abstract) (abstract)
PRESENTER: Allen Z. Zhong
15:26
Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (abstract)
PRESENTER: Jheisson López
15:30-16:00Coffee Break
16:00-17:30 Session 37R: Doctoral Program
Location: Taub 4
16:00
Optimized Code Generation against Power Side Channels (abstract)
16:20
Boolean Functional Synthesis and its Applications (abstract)
PRESENTER: Priyanka Golia
16:40
On PB Encodings for Constraint Problems (abstract)
PRESENTER: Thibault Falque
17:00
A Boolean Formula Seeker in the Context of Acquiring Maps of Interrelated Conjectures on Sharp Bounds (abstract)
PRESENTER: Ramiz Gindullin
17:20
Explaining Propagation for Gini and Spread with Variable Mean (Extended Abstract) (abstract)
PRESENTER: Alexander Ek
17:23
Extended Abstract: Constraint Acquisition Based on Solution Counting (abstract)
17:26
Extended Abstract: Acquiring Maps of Interrelated Conjectures on Sharp Bounds (abstract)
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
Tuesday, August 2nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 44A: ML
Location: Taub 7
09:00
Learning MAX-SAT Models from Examples using Genetic Algorithms and Knowledge Compilation (abstract)
PRESENTER: Senne Berden
09:30
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints (abstract)
10:00
Improved Sample Complexity Bounds for Branch-and-Cut (abstract)
PRESENTER: Siddharth Prasad
09:00-10:30 Session 44B: Theory
Location: Taub 4
09:00
CSP Beyond Tractable Constraint Languages (abstract)
PRESENTER: Stefan Szeider
09:30
On Redundancy in Constraint Satisfaction Problems (abstract)
10:00
Fixed-Template Promise Model Checking Problems (abstract)
PRESENTER: Kristina Asimi
10:30-11:00Coffee Break
11:10-12:10 Session 48: Keynote
11:10
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:
Location: Taub 7
14:00
Solving with Provably Correct Results: Beyond Satisfiability, and Towards Constraint Programming (abstract)
PRESENTER: Ciaran McCreesh
14:00-15:30 Session 50B: Applications
Location: Taub 4
14:00
Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data (abstract)
14:30
A Constraint Programming Approach to Ship Refit Project Scheduling (abstract)
15:00
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
Location: Taub 7
16:00
Parallel Hybrid Best-First Search (abstract)
PRESENTER: Simon de Givry
16:30
Sequence Variables for Routing Problems (abstract)
17:00
From Cliques to Colorings and Back Again (abstract)
16:00-17:30 Session 54B: Tutorial + ML

16:00-17:00: Tutorial

17:00-17:30: Machine Learning

Location: Taub 4
16:00
Building a Constraint Programming Solver Guided by Machine Learning: Opportunities and Challenges (abstract)
17:00
Combining Reinforcement Learning and Constraint Programming for Sequence-Generation Tasks with Hard Constraints (abstract)
PRESENTER: Daphné Lafleur
Wednesday, August 3rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
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

Location: Taub 7
11:00
Computing relaxations for the three-dimensional stable matching problem with cyclic preferences (abstract)
PRESENTER: Luis Quesada
11:30
Understanding how people approach constraint modelling and solving (abstract)
PRESENTER: Ruth Hoffmann
12:00
Large Neighborhood Search for Robust Solutions for Constraint Satisfaction Problems with Ordered Domains (abstract)
PRESENTER: Jheisson Lopez
11:00-12:30 Session 58B: Applications
Location: Taub 4
11:00
Scheduling the Equipment Maintenance of an Electric Power Transmission Network using Constraint Programming (abstract)
PRESENTER: Louis Popovic
11:30
Solving the Constrained Single-Row Facility Layout Problem with Decision Diagrams (abstract)
PRESENTER: Vianney Coppé
12:00
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

Location: Taub 7
14:00
Peel-and-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams (abstract)
PRESENTER: Isaac Rudich
14:30
Exploiting Functional Constraints in Generating Dominance Breaking Nogoods for Constraint Optimization (abstract)
PRESENTER: Allen Z. Zhong
15:00
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

Location: Taub 7
16:00
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 abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 63A: Tutorial
Location: Taub 7
09:00
MDD-Based Constraint Programming in Haddock (abstract)
PRESENTER: Laurent Michel
09:00-10:30 Session 63B: SAT
Location: Taub 4
09:00
On Quantitative Testing of Samplers (abstract)
PRESENTER: Mate Soos
09:30
On the Enumeration of Frequent High Utility Itemsets: A symbolic AI Approach (abstract)
PRESENTER: Said Jabbour
10:00
From Crossing-Free Resolution to Max-SAT Resolution (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 65A: MDD
Location: Taub 7
11:00
Heuristics for MDD Propagation in Haddock (abstract)
PRESENTER: Rebecca Gentzel
11:30
CNF Encodings of Binary Constraint Trees (abstract)
PRESENTER: Ruiwei Wang
12:00
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
Location: Taub 4
11:00
Learning Constraint Programming Models from Data using Generate-and-Aggregate (abstract)
PRESENTER: Samuel Kolb
11:30
Constraint Acquisition Based on Solution Counting (abstract)
12:00
Acquiring Maps of Interrelated Conjectures on Sharp Bounds (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 67A: Tutorial + Benchmarking

14:00-15:00: Tutorial

15:00-15:30: Benchmarking

Location: Taub 7
14:00
Formal Explainable AI (abstract)
15:00
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

Location: Taub 4
14:00
Isomorphisms between STRIPS problems and sub-problems (abstract)
PRESENTER: Arnaud Lequen
14:30
Plotting: A Planning Problem With Complex Transitions (abstract)
15:00
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
16:00
Complexity Measures for Reactive Systems (abstract)
Friday, August 5th

View this program: with abstractssession overviewtalk overviewside 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

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

Location: Taub 7
11:00
Complexity of Minimum-Size Arc-Inconsistency Explanations (abstract)
PRESENTER: Emmanuel Hebrard
11:30
Weisfeiler-Leman Invariant Promise Valued CSPs (abstract)
PRESENTER: Silvia Butti
12:00
An Auditable Constraint Programming Solver (abstract)
PRESENTER: Ciaran McCreesh
11:00-12:30 Session 76B: Propagation + Heuristics
Location: Taub 4
11:00
A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems (abstract)
PRESENTER: Hongbo Li
11:30
Explaining Propagation for Gini and Spread with Variable Mean (abstract)
PRESENTER: Alexander Ek
12:00
Structured Set Variable Domains in Bayesian Network Structure Learning (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).

15:30-16:00Coffee Break