J. Christopher Beck
Professor
Leads the TIDEL lab on combinatorial optimization and scheduling that combines constraint programming with machine learning.
J. Christopher Beck's lab at Toronto works on learning theory & optimization and reasoning & neuro-symbolic AI. 27 papers since 2023, 4 at top venues, mostly ICAPS and AAAI. 3 PhD students and 3 master's students. 33 alumni. Applications close .
At a glance
- papers, 2023–2026
- 7/ year
- at T1 venues
- 15%
- PhD students
- 3
- MS students
- 3
- alumni listed
- 33
Papers by yearfrom the lab homepage, 2023–2026
- 5 papers2026 · T1 1 · collecting
- 7 papers2025 · T1 0
- 6 papers2024 · T1 2
- 9 papers2023 · T1 1
T1 venuesOtherVenues: ICAPS, AAAI, Artificial Intelligence
Research focuspaper titles that use each topic's words
- Learning theory & optimization4 papers
- scheduling3 papers
- combinatorial optimization1 paper
- combinatorial1 paper
- Reasoning & neuro-symbolic AI0 papers
Paper list
From the lab homepage.
20265 papers
- INFORMS Journal on ComputingCombining CP and IP for Dantzig-Wolfe Decomposition: An Application to Multi-Project Scheduling
- Artificial Intelligence (T1)Domain-Independent Dynamic Programming (opens in a new tab)
- ICAPSDomain-Independent Dynamic Programming with Constraint Propagation (opens in a new tab)
- Proceedings of the Thirty-Second International Conference on Principles and Practice of Constraint ProgrammingLinear-Memory Beam Search Algorithms in Domain-Independent Dynamic Programming (opens in a new tab)
- ICAPSOperator-Counting Heuristics for Domain-Independent Dynamic Programming (opens in a new tab)
20257 papers
- INFORMS Journal on ComputingDomain-Independent Dynamic Programming and Constraint Programming Approaches for Assembly Line Balancing Problems with Setups (opens in a new tab)
- Proceedings of the Thirty-First International Conference on Principles and Practice of Constraint ProgrammingExact Methods for the Travelling Salesperson Problem with Self-Deleting Graphs (opens in a new tab)
- ICAPSNew Exact Methods for Solving Quadratic Traveling Salesman Problem (opens in a new tab)
- Proceedings of the Twenty-Second International Conference on Constraint Programming, Artificial Intelligence, and Operations ResearchReinforcement Learning-based Heuristics to Guide Domain-Independent Dynamic Programming (opens in a new tab)
- Proceedings of the Thirty-First International Conference on Principles and Practice of Constraint ProgrammingRPID: Rust Programmable Interface for Domain-Independent Dynamic Programming (opens in a new tab)
- ConstraintsSolving Logic-Based Benders Decomposition Master Problems with Constraint Programming and Domain-Independent Dynamic Programming (opens in a new tab)
- Proceedings of the Thirty-First International Conference on Principles and Practice of Constraint ProgrammingTransition Dominance in Domain-Independent Dynamic Programming (opens in a new tab)
20246 papers
- INFORMS Journal on ComputingComputing Bi-Path Multi-Commodity Flows with Constraint Programming-based Branch-and-Price-and-Cut (opens in a new tab)
- Health Informatics JournalDetermining Pre-procedure Fasting Alert Time Using Procedural and Scheduling Data (opens in a new tab)
- AAAI (T1)Parallel Beam Search Algorithms for Domain-Independent Dynamic Programming (opens in a new tab)
- AAAI (T1)PRP Rebooted: Advancing the State of the Art in FOND Planning (opens in a new tab)
- Proceedings of the Thirtieth International Conference on Principles and Practice of Constraint ProgrammingSolving LBBD Master Problems with Constraint Programming and Domain-Independent Dynamic Programming (opens in a new tab)
- Proceedings of the Thirtieth International Conference on Principles and Practice of Constraint ProgrammingUsing Constraint Programming for Disjunctive Scheduling in Temporal AI Planning (opens in a new tab)
20239 papers
- ICAPSDomain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization (opens in a new tab)
- Proceedings of the Twenty-Sixth European Conference on Artificial IntelligenceExtracting and Exploiting Bounds of Numeric Variables for Optimal Linear Numeric Planning (opens in a new tab)
- Proceedings of the Twenty-Ninth International Conference on Principles and Practice of Constraint ProgrammingLarge Neighborhood Beam Search for Domain-Independent Dynamic Programming (opens in a new tab)
- Proceedings of the Twentieth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations ResearchObjective-Based Counterfactual Explanations for Linear Discrete Optimization (opens in a new tab)
- Proceedings of the Twenty-Ninth International Conference on Principles and Practice of Constraint ProgrammingOptimization Models for Pickup and Delivery Problems with Reconfigurable Capacities (opens in a new tab)
- AAAI (T1)Privacy Attacks on Schedule-Driven Data (opens in a new tab)
- ICAPSSolving Domain-Independent Dynamic Programming Problems with Anytime Heuristic Search (opens in a new tab)
- ICAPSSymmetry Detection and Breaking in Linear Cost-Optimal Numeric Planning
- Proceedings of the International Conference on Control, Decision and Information TechnologiesThe Multi-Commodity Flow Problem with Disjoint Signaling Paths: A Branch-and-Benders-Cut Algorithm (opens in a new tab)
Where alumni went33 listed
Apply to TorontoFall 2027
Computer Science MSc/PhD
- Round
- Single round (Dec 1)
- Opens
- —
- GRE
- optional
- English
- TOEFL/IELTS if applicable
- Fee
- CAD 135
Confirmed on the program page.
Similar labsnearest by research summary
- GBImperial
Roberto Bondesan
- Learning theory & optimization
- CNTsinghua
Kaifeng Lyu
- Learning theory & optimization
- USNYU
Allen Liu
- Learning theory & optimization
- USGeorgia Tech
Jesse Thomason
- Multimodal & grounded language
- SGNTU
Yeshwanth Cherapanamjeri
- Learning theory & optimization
- CAToronto
Roger Grosse
- Learning theory & optimization
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Torontocloses