Days: Sunday, August 27th Monday, August 28th Tuesday, August 29th Wednesday, August 30th Thursday, August 31st
View this program: with abstractssession overviewtalk overview
Doctoral Program, Donald Burwash Room (#2005)
Workshop: ModRef, East Common Room (#1034)
Workshop: Models and Solvers for Dynamic Programming, Great Hall (#1022)
Workshop: Teaching Constraint Programming, Debates Room (#2034)
Workshop: Optimization for Sports, Music Room (#2006)
Great Hall Lower Gallery (#1022K)
Great Hall Lower Gallery (#1022K)
Workshop: Progress Towards the Holy Grail, Music Room (#2006)
Great Hall Lower Gallery (#1022K)
CP 2023 Doctoral Program Dinner
View this program: with abstractssession overviewtalk overview
CP 2023 Opening
Invited Talk 1: Great Hall (#1022) (Chair: Roland Yap)
- Laurent Perron (Google, France), The CP-SAT-LP solver
- Petr Vilím (ScheduleOpt), CP Solver Design for Maximum CPU Utilization
Great Hall Lower Gallery (#1022K)
Modelling 1, Great Hall (#1022) (Chair: Helmut Simonis)
| 10:40 | Simplifying Step-wise Explanation Sequences (abstract) PRESENTER: Ignace Bleukx |
| 11:10 | Addressing problem drift in the UNHCR fund allocation problem (abstract) |
| 11:40 | Searching for smallest universal graphs and tournaments with SAT (abstract) PRESENTER: Stefan Szeider |
Scheduling, East Common Room (#1034) (Chair: Chris Beck)
| 10:40 | Partially Preemptive Multi Skill/Mode Resource-constrained Project Scheduling with Generalized Precedence Relations and Calendars (abstract) |
| 11:10 | An Efficient Constraint Programming Approach for Scheduling Interruptible Tasks Requiring Disjoint Disjunctive Resources (abstract) |
| 11:40 | Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density (abstract) |
Great Hall Lower Gallery (#1022K)
Tutorial 1: Great Hall (#1022) (Chair: Gilles Pesant)
- Vijay Ganesh (Univesity of Waterloo), Machine Learning for Solvers
Search 1, East Common Room (#1034) (Chair: Neng-Fa Zhou)
| 13:30 | Improving Local Search for Pseudo Boolean Optimization by Deep Optimization (abstract) |
| 14:00 | Towards More Efficient Local Search for Pseudo-Boolean Optimization (abstract) |
Decision Diagrams 1, Great Hall (#1022) (Chair: Jean-Charles Regin)
| 14:30 | Boosting Decision Diagram-Based Branch-and-Bound by Pre-Solving with Aggregate Dynamic Programming (abstract) |
| 15:00 | SAT-Based Learning of Compact Binary Decision Diagrams for Classification (abstract) |
Symmetries, East Common Room (#1034) (Chair: Jimmy Lee)
| 14:30 | Symmetries for cube-and-conquer in finite model finding (abstract) |
| 15:00 | Using Canonical Codes to Efficiently Solve the Benzenoid Generation Problem with Constraint Programming (abstract) |
Great Hall Lower Gallery (#1022K)
Applications 1, Great Hall (#1022) (Chair: Mats Carlson)
| 16:00 | Constraint Programming with External Worst-Case Traversal Time Analysis (abstract) |
| 16:30 | A CP Approach for the Liner Shipping Network Design Problem (abstract) |
Constraints 1, East Common Room (#1034) (Chair: Stefan Szeider)
| 16:00 | Binary Constraint Trees and Structured Decomposability (abstract) |
| 16:30 | Distribution Optimization in Constraint Programming (abstract) |
CP 2023 Welcome Reception, Great Hall (#1022)
View this program: with abstractssession overviewtalk overview
Invited Talk 2: Great Hall (#1022) (Chair: Christophe Lecoutre)
- Thomas Schiex (Universite Fédérale de Toulouse, ANITI, INRAE), Coupling CP with Deep Learning for Molecular Design and SARS-CoV2 variants exploration
Great Hall Lower Gallery (#1022K)
Modelling 2, Great Hall (#1022) (Chair: Steve Prestwich)
| 10:30 | Fast Matrix Multiplication Without Tears: A Constraint Programming Approach (abstract) |
| 11:00 | Constraint programming models for depth-optimal qubit assignment and SWAP-based routing (abstract) |
Multi-Objective Optimization, East Common Room (#1034) (Chair: Javier Larrosa)
| 10:30 | Assembly Line Preliminary Design Optimization for an Aircraft Airframe (abstract) |
| 11:00 | Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization (abstract) PRESENTER: Christoph Jabs |
Applications 2, Great Hall (#1022) (Chair: Michael Trick)
| 11:30 | Constraint Model for the Satellite Image Mosaic Selection Problem (abstract) |
| 11:50 | Optimization of Short-Term Underground Mine Planning using Constraint Programming (abstract) PRESENTER: Younes Aalian |
Counting, East Common Room (#1034) (Chair: Kuldeep Meel)
| 11:30 | Probabilistic Inference by Projected Weighted Model Counting on Horn Clauses (abstract) |
| 12:00 | Enumerative Level-2 Solution Counting for Quantified Boolean Formulas (abstract) |
Great Hall Lower Gallery (#1022K)
Tutorial 2: Great Hall (#1022) (Chair: Maria Garcia de la Banda)
- Ignace Bleukx, Dimos Tsouros and Tias Guns (KU Leuven), Explainable Constraint Solving - A Hands-On Tutorial
Solvers, East Common Room (#1034) (Chair: Laurent Perron)
| 13:50 | Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning (abstract) |
| 14:20 | Exploiting Configurations of MaxSAT solvers (abstract) |
Modelling 3, Great Hall (#1022) (Chair: Michael Trick)
| 14:50 | A New Approach to Generating 2 x n Partially Spatially Balanced Latin Rectangles (abstract) |
| 15:10 | Proven optimally-balanced Latin rectangles with SAT (abstract) PRESENTER: Stefan Szeider |
Boolean Networks, East Common Room (#1034) (Chair: Roland Yap)
| 14:50 | Efficient enumeration of fixed points in complex Boolean networks using answer set programming (abstract) |
Great Hall Lower Gallery (#1022K)
Machine Learning 1, Great Hall (#1022) (Chair: Arnaud Lallouet)
| 16:00 | Guided Bottom-Up Interactive Constraint Acquisition (abstract) |
| 16:30 | Predict-then-Optimise Strategies for Water Flow Control (abstract) |
Applications 3, East Common Room (#1034) (Chair: Mats Carlson)
| 16:00 | Optimization models for pickup and delivery problems with reconfigurable capacities (abstract) |
| 16:30 | Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks (abstract) |
CP 2023 Senior Program Committee Dinner
View this program: with abstractssession overviewtalk overview
Invited Talk 3: Great Hall (#1022) (Chair: Peter Stuckey)
- Jimmy Lee (Chinese University of Hong Kong), A Tale of Two Cities: Teaching CP with Story-Telling
Great Hall Lower Gallery (#1022K)
ACP Research Excellence Award, Great Hall (#1022) (Chair: David Bergman)
DEI Event, East Common Room (#1034)
Constraints 2, Great Hall (#1022) (Chair: Pierre Schaus)
| 11:00 | The p-dispersion problem with distance constraints (abstract) |
| 11:30 | MDD archive for boosting the Pareto constraint (abstract) |
Competition Results: Great Hall (#1022)
Great Hall Lower Gallery (#1022K)
ACP Early Career Researcher Award, Great Hall (#1022) (Chair: David Bergman)
ACP Doctoral Research Award, Great Hall (#1022) (Chair: David Bergman)
Great Hall Lower Gallery (#1022K)
ACP General Assembly, Great Hall (#1022)
Presentation of CP 2024 & CPAIOR 2024 conferences, Great Hall (#1022)
CP 2023 Conference Banquet (open to both student and full registrations)
Faculty Club, 41 Willcocks Street
View this program: with abstractssession overviewtalk overview
Invited Talk 4: Great Hall (#1022) (Chair: Mark Wallace)
- Maria Garcia de la Banda (Monash University), Beyond optimal solutions for real-world problems
Great Hall Lower Gallery (#1022K)
CP 2023 Best Paper Award, Great Hall (#1022) (Chair: Roland Yap)
Mathew J. McIlree and Ciaran McCreesh, Proof Logging for Smart Extensional Constraints
CP 2023 Best Application Paper Award, Great Hall (#1022) (Chair: Roland Yap)
Matthias Klapperstueck, Frits De Nijs, Ilankaikone Senthooran, Jack Lee-Kopij, Maria Garcia de la Banda and Michael Wybrow, Exploring Hydrogen Supply/Demand Networks: Modeller and Domain Expert views
Search 2, Great Hall (#1022) (Chair: Andreína Francisco)
| 11:30 | Learning a Generic Value-Selection Heuristic Inside a Generic Constraint Programming Solver (abstract) |
Decision Diagrams 2, East Common Room (#1034) (Chair: Claude-Guy Quimper)
| 11:30 | Partitioning a Map into Homogeneous Contiguous Regions: A Branch-and-Bound approach Using Decision Diagrams (abstract) |
Great Hall Lower Gallery (#1022K)
Search 3, Great Hall (#1022) (Chair: Richard Wallace)
| 13:20 | Guiding Backtrack Search by Tracking Variables during Constraint Propagation (abstract) |
| 13:50 | Large Neighborhood Beam Search for Domain-Independent Dynamic Programming (abstract) |
Machine Learning 2, East Common Room (#1034) (Chair: Tias Guns)
| 13:20 | Incremental Constrained Clustering by Minimal Weighted Modification (abstract) PRESENTER: Aymeric Beauchamp |
| 13:50 | FastMapSVM for Predicting CSP Satisfiability (abstract) |
| 14:20 | From Formal Boosted Tree Explanations to Interpretable Rule Sets (abstract) |
Closing, Great Hall (#1022)