CPAIOR2021: 18TH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE AND OPERATIONS RESEARCH
PROGRAM

Days: Monday, July 5th Tuesday, July 6th Wednesday, July 7th Thursday, July 8th

Monday, July 5th

View this program: with abstractssession overviewtalk overview

11:00-12:15Registration and Lunch

Registration for the physical part of the conference. Lunch is served during this time at the conference location.

12:30-14:30 Session 2: Master Class - Part 1
12:30
Safety in AI Systems: SMT-Based Verification of Deep Neural Networks (abstract)
13:30
Formal Reasoning Methods in Machine Learning Explainability (abstract)
14:30-15:00Coffee Break
15:00-17:00 Session 3: Master Class - Part 2
15:00
Towards verifying AI systems based on deep neural networks (abstract)
16:00
Reasoning About the Probabilistic Behavior of Classifiers (abstract)
17:00-17:30Coffee Break
17:30-19:30 Session 4: Master Class - Part 3
17:30
Certified Artificial Intelligence (abstract)
18:30
Explaining Machine Learning Predictions: State-of-the-art, Challenges, and Opportunities (abstract)
20:00-22:00 Dinner at Rathauskeller

Dinner will be served at the Rathauskeller. We will walk there together after the master class.

Tuesday, July 6th

View this program: with abstractssession overviewtalk overview

10:00-11:30 Belvedere Guided Tour

Guided tour on the topic "Gustav Klimt and His Time". We will meet a few minutes before 10:00 in front of the Upper Belvedere.

11:30-12:30Lunch Break

We will go to lunch together at Stöckl im Park after the guided tour.

13:00-14:20 Session 5: Best paper awards and others
13:00
Improving the filtering of Branch-And-Bound MDD solver (abstract)
13:20
Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations (abstract)
13:40
MDDs boost equation solving on discrete dynamical systems (abstract)
14:00
Towards a Compact SAT-based Encoding of Itemset Mining Tasks (abstract)
14:20-14:40Coffee Break
14:40-16:00 Session 6: Combining Learning and Solving
14:40
Learning Variable Activity Initialisation for Lazy Clause Generation Solvers (abstract)
15:00
SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning (abstract)
15:20
MipConfigBench: A dataset for learning in the space of Mixed-Integer Programming algorithms (abstract)
15:40
Learning to Sparsify Travelling Salesman Problem Instances (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 7: Invited Talk
16:30
Contextual Optimization: Bridging Machine Learning and Operations
17:30-17:45Coffee Break
17:45-19:05 Session 8: Machine Learning
17:45
A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble (abstract)
18:05
Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem (abstract)
18:25
IRELAND: an MILP-based algorithm for learning interpretable input-output relationships from large binary classification data (abstract)
18:45
Optimized Item Selection to Boost Exploration for Recommender Systems (abstract)
Wednesday, July 7th

View this program: with abstractssession overviewtalk overview

12:00-12:45Lunch Break

We will eat lunch at the Glacisbeisl. We will meet directly at the restaurant at 12:00, please be on time since the lunch time is a bit tight.

13:00-14:20 Session 9: Graphs and Satisfaction
Chair:
13:00
Complete Symmetry Breaking Constraints For The Class of Uniquely Hamiltonian Graphs (abstract)
13:20
On the Usefulness of Linear Modular Arithmetic in Constraint Programming (abstract)
13:40
Finding Subgraphs with Side Constraints (abstract)
14:00
Checking Constraint Satisfaction (abstract)
14:20-14:40Coffee Break
14:40-16:00 Session 10: Decomposition Methods
14:40
Logic-Based Benders Decomposition for an Inter-modal Transportation Problem (abstract)
15:00
Strengthening of feasibility cuts in logic-based Benders decomposition (abstract)
15:20
Combining Constraint Programming and Time Based Decomposition Approaches – Scheduling of an Industrial Formulation Plant (abstract)
15:40
Storage Location Assignment Problem in Fast Pick Areas: A novel formulation and decomposition method (abstract)
16:00-16:30Coffee Break
16:30-17:30 Session 11: Invited Talk
Chair:
16:30
Why You Should Constrain Your Machine Learned Models
17:30-17:45Coffee Break
17:45-19:05 Session 12: Scheduling
17:45
Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors (abstract)
18:05
A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects (abstract)
18:25
Single-Machine Scheduling with Release Times, Deadlines, Setup Times, and Rejection (abstract)
18:45
Cable Tree Wiring - Benchmarking Solvers on a Real-World Scheduling Problem with a Variety of Precedence Constraints (abstract)
20:00-23:00 Conference Banquet

Banquet at the Heurigen Buschenschank Fuhrgassl-Huber. We will go there together after the last session by bus. We will go back to the conference location afterwards by bus, but you can also go back on your own using public transport.

Thursday, July 8th

View this program: with abstractssession overviewtalk overview

12:00-12:45Lunch Break

We will eat lunch at the Glacisbeisl. We will meet directly at the restaurant at 12:00, please be on time since the lunch time is a bit tight.

13:00-14:20 Session 13: Decision Diagrams and Heavy Tails
13:00
Variable Ordering for Decision Diagrams: A Portfolio Approach (abstract)
13:20
A*-based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem (abstract)
13:40
Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning (abstract)
14:00
Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding (abstract)
14:20-14:40Coffee Break
14:40-16:00 Session 14: Timetabling/Scheduling and Pandemic Applications
Chair:
14:40
Partitioning Students into Cohorts during COVID-19 (abstract)
15:00
Physician Scheduling During a Pandemic (abstract)
15:20
Learning to Reduce State-Expanded Networks for Multi-Activity Shift Scheduling (abstract)
15:40
The Traveling Social Golfer Problem: the case of the Volleyball Nations League (abstract)
16:00-16:30Coffee Break
17:30-17:45Coffee Break
17:45-19:05 Session 16: Applications
17:45
Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems (abstract)
18:05
Short-term scheduling of production fleets in underground mines using CP-based LNS (abstract)
18:25
A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming (abstract)
18:45
A matheuristic for the Production Routing Problem: Infeasibility Space Search and Mixed Integer Programming (abstract)