CP — PROGRAM

Days: Monday, 20 July 2026 Tuesday, 21 July 2026 Wednesday, 22 July 2026 Thursday, 23 July 2026

Monday, 20 July 2026
08:45-10:00 Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence CP
Location: Grande Auditório
08:45-09:45
Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence (abstract) 60 min
Giuseppe De Giacomo
10:00-10:30 Coffee Break CP
Location: One01
10:00-10:30 Coffee Break CP
Location: One02
10:00-10:30 Coffee Break CP
Location: B2.04
10:30-10:45 CP Opening CP
Session Chair:
Nicolas Beldiceanu
Location: B2.04
10:30-10:45
CP Opening (abstract) 15 min
Nicolas Beldiceanu1, Inês Lynce2
1 IMT Atlantique
2 Universidade de Lisboa
10:50-12:30 Scheduling CP
Session Chair:
Laurent Michel
Location: One02
10:50-11:10
On Inferring Cumulative Constraints (abstract) 20 min
Konstantin Sidorov1
1 Delft University of Technology
11:10-11:30
Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning (abstract) 20 min
Samuel Cloutier1, Claude-Guy Quimper1
1 Université Laval
11:30-11:50
Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling (abstract) 20 min
Arthur Bit-Monnot1
1 LAAS-CNRS
11:50-12:10
Instance Space Analysis and Complexity Estimation for Scheduling Problem (abstract) 20 min
Christian Pérez Bernal1, Isabel Català Fort1, Unai Lopez1, Miguel A. Salido1
1 Universitat Politècnica de València (UPV)
12:10-12:30
Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems (abstract) 20 min
Vilém Heinz1, Šimon Zvára1, Vít Knobloch1, Zdeněk Hanzálek1, Petr Vilím2
1 Czech Technical University in Prague
2 ScheduleOpt, Novy Knin
10:50-12:30 SAT, MAXSAT, CP-SAT CP
Session Chair:
Peter Stuckey
Location: One01
10:50-11:10
Not All Restarts are Equal: MAB-Learning at the Right Time Scale for SAT (abstract) 20 min
Jinghu Liang1, Sami Cherif1, Chu-Min Li1
1 Laboratoire MIS UR 4290, Université de Picardie Jules Verne, Amiens, France
11:10-11:30
Efficient Explanations for Rule Ensembles (abstract) 20 min
Hao Hu1, Alexey Ignatiev2, Joao Marques-Silva3
1 University of Lleida
2 Monash University
3 ICREA, University of Lleida
11:30-11:50
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT (abstract) 20 min
Jialu Zhang1, Chu-Min Li2, Sami Cherif2, Shuolin Li3
1 Laboratoire MIS UR 4290, Université de Picardie Jules Verne, Amiens, France
2 University of Picardie Jules Verne
3 Aix Marseille Univ, Université de Toulon, CNRS, LIS, Marseille, France
11:50-12:10
From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming (abstract) 20 min
Imko Marijnissen1, Maarten Flippo1, Emir Demirović1
1 Delft University of Technology
12:10-12:30
Satisfiability for Large Weight Syndrome Decoding (abstract) 20 min
Carl Berton1, Sami Cherif1, Claire Delaplace1
1 Laboratoire MIS UR 4290, Université de Picardie Jules Verne, Amiens, France
12:30-14:00 Lunch CP
Location: One01
12:30-14:00 Lunch CP
Location: One02
12:30-14:00 Lunch CP
Location: B2.04
14:00-16:00 Routing/Scheduling & GPU for Propagation CP
Session Chair:
Roland Yap Hock Chuan
Location: B2.04
14:00-15:00
From CP Fundamentals with MiniCP to Solving Routing and Scheduling Applications with MaxiCP (abstract) 60 min
Augustin Delecluse1, Pierre Schaus2
1 KU Leuven
2 UCLouvain
15:00-16:00
Despicable Cores: Thousands of GPU Minions for Constraint Propagation (abstract) 60 min
Laurent Michel1, Fabio Tardivo1
1 University of Connecticut
16:00-16:30 Coffee Break CP
Location: One01
16:00-16:30 Coffee Break CP
Location: One02
16:00-16:30 Coffee Break CP
Location: B2.04
18:00-20:00 Reception CP
Location: Pala do Pavilhão de Portugal
Tuesday, 21 July 2026
09:00-10:00 Decision Diagrams CP
Session Chair:
Roland Yap Hock Chuan
Location: B2.04
09:00-10:00
Decision Diagrams for Constraint Reasoning and Optimization (abstract) 60 min
Willem-Jan van Hoeve1
1 CMU
10:00-10:30 Coffee Break CP
Location: One01
10:00-10:30 Coffee Break CP
Location: One02
10:00-10:30 Coffee Break CP
Location: B2.04
10:30-11:45 ACP Awards & Next CP/CPAIOR CP
Session Chair:
Nicolas Beldiceanu
Location: B2.04
10:30-10:35
Distinguished service award (abstract) 5 min
Surprise Surprise1
1 Surprise
10:35-11:05
Early career award (abstract) 30 min
Surprise Surprise1
1 Surprise
11:05-11:35
Doctoral research award (abstract) 30 min
Surprise Surprise1
1 Surprise
11:35-11:45
Presentation of next CP & CPAIOR conferences (abstract) 10 min
Jimmy H.M. Lee1, Yonggang Zhang2, Willem-Jan van Hoeve3
1 The Chinese University of Hong Kong
2 Affiliation
3 CMU
11:50-12:30 Application: Modelling CP
Session Chair:
Jimmy H.M. Lee
Location: One01
11:50-12:10
Paratransit Optimization with Constraint Programming: A Case Study in Savannah, Georgia (abstract) 20 min
Liam Jagrowski1, Kevin Dalmeijer1, Tinghan Ye1, Pascal Van Hentenryck1
1 Georgia Institute of Technology
12:10-12:30
Configuration of Heterogeneous Agent Fleets for Cognitively Demanding Missions (abstract) 20 min
Lucas Ligny1, Stéphanie Roussel1, Gauthier Picard1, Elise Vareilles2
1 ONERA
2 IMT Mines Albi
11:50-12:30 Reformulation, MDD/FLOW CP
Session Chair:
Neng-Fa Zhou
Location: One02
11:50-12:10
Table Constraints for Integer Programming (abstract) 20 min
Hendrik Bierlee1, Wout Piessens1, Tias Guns1, Peter Stuckey2
1 KU Leuven
2 Monash University
12:10-12:30
The Voice of the Flow: A Graph-based Approach for Step-Wise Explanations of Constraint Satisfaction Problems (abstract) 20 min
Minh Anh NGUYEN1, Anh Tien MAI1, Hoong Chuin LAU1
1 School of Computing and Information Systems, Singapore Management University
12:30-14:00 Lunch CP
Location: One01
12:30-14:00 Lunch CP
Location: One02
12:30-14:00 Lunch CP
Location: B2.04
14:00-16:00 Scheduling, Timetabling CP
Session Chair:
Nadjib Lazaar
Location: One01
14:00-14:20
A Scheduling-Based Approach to Railway Capacity Estimation for Industrial Freight Junctions (abstract) 20 min
Luca Di Gaspero1, Alessia Grosso2, Giovanni Longo2
1 DPIA – Università degli Studi di Udine
2 DEAMS – Università degli Studi di Trieste
14:20-14:40
An iterative Constraint Programming approach to integrate maximum workload constraints in preemptive jobshop scheduling (abstract) 20 min
Tanguy Terrien1, Cyrille Briand1
1 LAAS-CNRS
14:40-15:00
Constraint Programming for Mixed-model Assembly Line Scheduling with Complex Industrial Constraints (abstract) 20 min
Guillaume Povéda1, Javier Buil Tejero, Tamara Borreguero Sanchidrian2
1 Airbus SAS, Toulouse, France
2 Airbus DS, Getafe, Spain
15:00-15:20
The CP Shortcut: Solving the High-Power Pump Activation Problem without the Overkill (abstract) 20 min
Mohamed-Anass Gallass1, Philippe Greiner2, Antoine Tuerlinckx2, Hélène Verhaeghe1
1 UCLouvain
2 Technord
15:20-15:40
Approximating Time-Dependent Transition Times in Constraint Programming for an Earth Observation Mission (abstract) 20 min
Romain Barrault1, Cédric Pralet1, Gauthier Picard1, Eric Sawyer2
1 DTIS, ONERA, Université de Toulouse
2 CNES, Université de Toulouse
15:40-16:00
Constraint Programming for Curriculum-based High School Timetabling with Half-Blocks (abstract) 20 min
Bérénice Dubois1, Quentin Cappart2, Stephen Walsh3
1 Polytechnique Montréal
2 UCLouvain & Polytechnique Montréal
3 Dash Computer Solutions
14:00-16:00 Verification, Certification CP
Session Chair:
François Fages
Location: One02
14:00-14:20
From LLM Suggestions to Lean Proofs: Verified Redundant Constraints for MiniZinc (abstract) 20 min
Philipp Danzinger1, Nysret Musliu1
1 TU Wien
14:20-14:40
Formally Verified Certification of Constraint Programming Proofs (abstract) 20 min
Konstantin Sidorov1, Maarten Flippo1, Tip ten Brink1, Clément Pit-Claudel2, Emir Demirović1
1 Delft University of Technology
2 EPFL
14:40-15:00
Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB (abstract) 20 min
Ciaran McCreesh1, Jakob Nordström2, Andy Oertel3, Yong Kiam Tan4
1 University of Glasgow
2 University of Copenhagen and Lund University
3 Lund University
4 A*STAR and Nanyang Technological University
15:00-15:20
VIPR Certificate Construction from Black-Box ILP Solvers (abstract) 20 min
Stefan Szeider1
1 TU Wien
15:20-15:40
End-to-end Certified Graph Colouring (abstract) 20 min
Simon Dold1, George Katsirelos2, Wietze Koops3, Magnus O. Myreen4, Jakob Nordström5, Andy Oertel3, Yong Kiam Tan6
1 University of Basel
2 Université Paris-Saclay
3 Lund University and University of Copenhagen
4 Chalmers University of Technology and University of Gothenburg
5 University of Copenhagen and Lund University
6 A*STAR and Nanyang Technological University
15:40-16:00
On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation (abstract) 20 min
Asma Khoualdia1, Sami Cherif1, Stéphane Devismes1, Léo Robert1
1 MIS UR 4290, Université de Picardie Jules Verne, Amiens, France
16:00-16:30 Coffee Break CP
Location: One01
16:00-16:30 Coffee Break CP
Location: One02
16:00-16:30 Coffee Break CP
Location: B2.04
16:30-18:00 DEI & General Assembly CP
Session Chair:
Gilles Pesant
Location: B2.04
16:30-16:50
DEI event (abstract) 20 min
Mohamed Siala1, Gilles Simonin2
1 LAAS CNRS & INSA Toulouse
2 IMT Atlantique
16:50-18:00
General assembly (abstract) 70 min
Gilles Pesant1
1 Polytechnique Montréal
Wednesday, 22 July 2026
08:45-10:00 Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI CP
Location: Grande Auditório
08:45-09:45
Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI (abstract) 60 min
Alessandra Russo
10:00-10:30 Coffee Break CP
Location: B2.04
10:00-10:30 Coffee Break CP
Location: One01
10:00-10:30 Coffee Break CP
Location: One02
10:30-12:30 Beyond Filtering & Global Hybrid Optimisation Solver CP
Session Chair:
Willem-Jan van Hoeve
Location: B2.04
10:30-11:30
Exploiting Combinatorial Structure in Constraint Programming: Going Beyond Domain Filtering to Model Counting and Marginal Distributions over Domains (abstract) 60 min
Gilles Pesant1
1 Polytechnique Montréal
11:30-12:30
Hexaly, a Global Hybrid Optimization Solver (abstract) 60 min
Thierry Benoist1
1 Hexaly
12:30-13:55 Lunch CP
Location: One01
12:30-13:55 Lunch CP
Location: One02
12:30-13:55 Lunch CP
Location: B2.04
13:55-14:35 Constraint Journal Panel & Constraint Journal Awards CP
Session Chair:
Eugene Freuder
Location: B2.04
13:55-14:35
Thirtieth Anniversary of the Constraints Journal Panel & Constraints journal awards (abstract) 40 min
Eugene Freuder1
1 Harvard & UCC
14:40-16:00 Filtering, Search, Modelling CP
Session Chair:
Nadjib Lazaar
Location: One02
14:40-15:00
The Distance Constraint on Sequence Variables (abstract) 20 min
Margaux Schmied1, Augustin Delecluse2, Jean-Charles Régin1, Pierre Schaus3
1 Université Côte d'Azur, France
2 KU Leuven, Belgium
3 UCLouvain, Belgique
15:00-15:20
Modeling the p-dispersion problem with distance constraints (abstract) 20 min
Panteleimon Iosif1, Nikolaos Ploskas1, Kostas Stergiou1, Dimosthenis Tsouros1
1 University of Western Macedonia
15:20-15:40
Lightweight Look-Ahead-Based Value Heuristics for Constraint Optimization Problems (abstract) 20 min
Ziyang Yu1, Hongbo Li1
1 Shanghai University of Finance and Economics
15:40-16:00
An Automata-Based Constraint Programming Framework for Optimal Classical Planning (abstract) 20 min
Damien Van Meerbeeck1, Arnaud Lequen1, Gilles Pesant2, Jendrik Seipp1
1 Linköping University
2 Polytechnique Montreal
14:40-16:00 Application (Logistics, HVAC Optimisation, Playoff Clinching) CP
Session Chair:
Peter Stuckey
Location: One01
14:40-15:00
Scaling Industrial Logistics: Tackling Multi-Batching Problems via Sequential Solving (abstract) 20 min
Clara Buire1, Emmanuelle Dietz2, Karl Henning3, Guillaume Povéda1
1 Airbus Central R&T, Toulouse, France
2 Airbus Central R&T, Hamburg, Germany
3 Airbus, Hamburg, Germany
15:00-15:20
Optimizing a Multi-Commodity Home-Delivery and Pickup Service in Depopulated Rural Areas with Constraint Programming (abstract) 20 min
Ryo Kuroiwa1, Tomoki Hasegawa2, Eiji Ueda2, Naoki Akiyama3, Akira Yoshioka3
1 National Institute of Informatics
2 Future Technology Laboratories INC.
3 Toyota Motor Corporation
15:20-15:40
Modelling and Optimizing HVAC Systems for Early-Stage Building Design (abstract) 20 min
Camilo Cruz Gambardella1, Victor Calixto1, Amin Karimi1, Pierre Le Bodic1, Allen Z. Zhong1
1 Monash University
15:40-16:00
A constraint programming approach for n-day lookahead playoff clinching in the NHL (abstract) 20 min
Gili Rosenberg1, Kyle E. C. Booth1, J. Kyle Brubaker1, Ruben Andrist1
1 Amazon
16:00-16:30 Coffee Break CP
Location: One01
16:00-16:30 Coffee Break CP
Location: One02
16:00-16:30 Coffee Break CP
Location: B2.04
16:30-17:50 Hybrid MIP/CP, Routing, Pareto CP
Session Chair:
Neng-Fa Zhou
Location: One01
16:30-16:50
Identifying Multi-Hit Cancer Drivers Without Massive Parallelization: A CP, MIP, and Column Generation Framework (abstract) 20 min
Rick Willemsen1, Tenindra Abeywickrama2, Ramu Anandakrishnan3
1 Singapore University of Technology and Design, Singapore
2 RIKEN Center for Computational Science, Japan
3 Virginia Tech, Edward Via College of Osteopathic Medicine, USA
16:50-17:10
Revisiting Integer Programming Encodings of Acyclicity (abstract) 20 min
Masood Feyzbakhsh Rankooh1, Matti Järvisalo1
1 University of Helsinki
17:10-17:30
Constraint-Aware Self-Supervised Learning for Edge Selection (abstract) 20 min
Xinda Zheng1, Frits de Nijs1, Edward Lam1
1 Monash University
17:30-17:50
Combining an ε-constraint method with the Pareto global constraint (abstract) 20 min
Manuel Combarro Simón1, Pierre Talbot1, Pascal Bouvry1
1 University of Luxembourg
16:30-17:50 Metaheuristics, Portfolio CP
Session Chair:
Simon de Givry
Location: One02
16:30-16:50
Constraint Solving and Particle Swarm Optimization for Fixture Layout Optimization (abstract) 20 min
Anna Vitali1, Roberto Amadini1, Vittorio Maniezzo1, Maurizio Gabbrielli1
1 University of Bologna
16:50-17:10
Neurosymbolic Large Neighbourhood Search (abstract) 20 min
Arnaud Delage-Reid1, Gilles Pesant1, Amal Zouaq1
1 Polytechnique Montreal
17:10-17:30
Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search (abstract) 20 min
Frej Knutar Lewander1, Pierre Flener1, Justin Pearson1, Peter Stuckey2
1 Uppsala University
2 Monash University
17:30-17:50
On the Effect of Training Data Selection in Automated Algorithm Selection (abstract) 20 min
Erdem Kus1, Özgür Akgün1, Nguyen Dang1, Lars Kotthoff1, Ian Miguel1
1 University of St Andrews
19:00-23:00 Banquet CP
Location: Praça de Touros do Campo Pequeno
Thursday, 23 July 2026
09:00-10:00 ASP CP
Session Chair:
Justin Pearson
Location: B2.04
09:00-10:00
Bridging the Gap: Foundedness, Defaults, and Expressivity in Constraint Answer Set Programming (abstract) 60 min
Torsten Schaub1
1 University of Potsdam
10:00-10:30 Coffee Break CP
Location: One01
10:00-10:30 Coffee Break CP
Location: One02
10:00-10:30 Coffee Break CP
Location: B2.04
10:30-12:00 Best Papers & Competition Results CP
Session Chair:
Nicolas Beldiceanu
Location: B2.04
10:30-10:50
GPU-Accelerated Relaxed Decision Diagrams for Branch-and-Bound Optimization (abstract) 20 min
Fabio Tardivo1, Laurent Michel1, Willem-Jan Van Hoeve2
1 University of Connecticut
2 Carnegie Mellon University
10:50-11:10
Solving the Multiple Constant Multiplication Problem with Constraint Programming (abstract) 20 min
Théo Cantaloube1,4, Xiao Peng2,3, Christine Solnon1,4, Anastasia Volkova1,4
1 CITI, INSA Lyon
2 LAAS, Université de Toulouse
3 CNRS
4 INRIA
11:10-11:30
CrewAId: Interactive optimisation for human-in-the-loop crew rostering and rerostering (abstract) 20 min
Matthias Klapperstueck1, Frits de Nijs1, Ilankaikone Senthooran1, Matteo Miceli2, Michael Wybrow1
1 Monash University
2 Woodside Energy Ltd.
11:30-12:00
Solvers competition results (abstract) 30 min
Christophe Lecoutre1, Peter Stuckey2
1 University of Artois
2 Monash University
12:05-12:25 Explanations CP
Session Chair:
Nadjib Lazaar
Location: One02
12:05-12:25
Towards Step-Wise Explanations of Large Search Trees (abstract) 20 min
Ignace Bleukx1, Tias Guns1, Peter Stuckey2
1 KU Leuven
2 Monash University
12:05-12:25 SMT CP
Session Chair:
Inês Lynce
Location: One01
12:05-12:25
Learning Unified Graph and Language Representations for SMT Algorithm Selection (abstract) 20 min
Zhengyang Lu1, Paul Sarnighausen-Cahn2, Jiahao Chen3, Arie Gurfinkel1, Florin Manea2, Vijay Ganesh3
1 University of Waterloo
2 University of Göttingen and CIDAS
3 Georgia Institute of Technology
12:25-13:55 Lunch CP
Location: B2.04
12:25-13:55 Lunch CP
Location: One01
12:25-13:55 Lunch CP
Location: One02
13:55-14:35 Holy Grail Panel CP
Session Chair:
Eugene Freuder
Location: B2.04
13:55-14:35
Thirty Years of Progress Towards the Holy Grail Panel (abstract) 40 min
Eugene Freuder1
1 Harvard & UCC
14:40-16:00 Dynamic Programming & Scheduling CP
Session Chair:
Willem-Jan van Hoeve
Location: One02
14:40-15:00
Linear-Memory Beam Search Algorithms in Domain-Independent Dynamic Programming (abstract) 20 min
Yuxiao Chen1, J. Christopher Beck1
1 University of Toronto
15:00-15:20
Column Generation with Domain-Independent Dynamic Programming (abstract) 20 min
Ryo Kuroiwa1, Edward Lam2
1 National Institute of Informatics
2 Monash University
15:20-15:40
GRID: Graph-based Modelling Interface for Domain-Independent Dynamic Programming (abstract) 20 min
Fabio Giordana1, Zeynep Kiziltan1, Ryo Kuroiwa2
1 University of Bologna, Bologna, Italy
2 National Institute of Informatics, Tokyo, Japan
15:40-16:00
Assembly Line Balancing with Parallel Stations and Shared Resources: A Cycle-Relative Constraint Programming Approach (abstract) 20 min
Diego Olivier Fernandez1, Pierre Schaus2
1 OptalCP
2 UCLouvain
14:40-16:00 Application (Production, Timetabling, Automated Driving Systems) CP
Session Chair:
Helmut Simonis
Location: One01
14:40-15:00
From CP Modeling to Preference Elicitation in HMLV Assembly Problems (abstract) 20 min
Marco Foschini1, Emilio Gamba2, Lucas Kletzander3, Tias Guns1
1 KU Leuven
2 Flanders Make
3 TU Wien
15:00-15:20
Equal-sized Partition Problem: Application in Spinning and Yarn Production (abstract) 20 min
Quoc-Trung BUI1
1 Hanoi University of Science and Technology
15:20-15:40
A Two-Stage Constraint Programming Approach for Artificial Teeth Scheduling (abstract) 20 min
Felix Winter1
1 Vienna University of Technology
15:40-16:00
ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios (abstract) 20 min
Nassim Belmecheri1, Arnaud Gotlieb1, Nadjib Lazaar2, Helge Spieker1
1 Simula Research Laboratory
2 University of Paris-Saclay
16:00-16:30 Coffee Break CP
Location: One01
16:00-16:30 Coffee Break CP
Location: One02
16:00-16:30 Coffee Break CP
Location: B2.04
16:30-17:30 Data Mining CP
Session Chair:
Tias Guns
Location: One02
16:30-16:50
Fairness of Classifiers in the Presence of Constraints between Features (abstract) 20 min
Martin C. Cooper1, Imane Bousdira2
1 University of Toulouse, IRIT
2 Toulouse INP, IRIT
16:50-17:10
Utility-Peak Itemset Mining with Constraint Programming (abstract) 20 min
Chaima Hamdi1, Nadjib Lazaar1, Nassim Belmecheri2, Djawad Bekkoucha1, Said Jabbour3, Lakhdar Saïs3
1 University of Paris-Saclay
2 Simula Research Laboratory
3 University of Artois
17:10-17:30
An Offline Neuro-Symbolic Soccer Pattern Retrieval Approach Using Constraint Programming (abstract) 20 min
Augustin Crespin1, Pierre Schaus1
1 Catholic University of Louvain
16:30-17:30 Theory 1 CP
Session Chair:
François Fages
Location: One01
16:30-16:50
Computing Short SAT Implicants via Ising/QUBO Encodings (abstract) 20 min
Giuseppe Spallitta1, Leonardo Duenas Osorio1, Moshe Y. Vardi1
1 Rice University
16:50-17:10
Smart Cubing for Graph Search: A Comparative Study (abstract) 20 min
Markus Kirchweger1, Hai Xia1, Tomáš Peitl1, Stefan Szeider1
1 TU Wien
17:10-17:30
On Symmetries and Transformations (abstract) 20 min
Daimy Van Caudenberg1, Markus Anders2, Bart Bogaerts1,3
1 KU Leuven
2 RPTU Kaiserslautern-Landau
3 Vrije Universiteit Brussel
17:35-18:00 Theory 2 & Closing CP
Session Chair:
Justin Pearson
Location: B2.04
17:35-17:55
Classification of Non-redundancy of Boolean Predicates of Arity 4 (abstract) 20 min
Joshua Brakensiek1, Venkatesan Guruswami1, Aaron Putterman2
1 UC Berkeley
2 Harvard University
17:55-18:00
CP Closing (abstract) 5 min
Nicolas Beldiceanu1
1 IMT Atlantique
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑