past sessions
Past seminar sessions
Formal Methods in Quantum Computing
Session date: 6 January 2025
Session host: Imko Marijnissen
More infoA tour of Lagrangian duality
Session date: 16 December 2024
Session host: Konstantin Sidorov
More infoWeisfeiler-Leman + Classical Machine Learning to guide search in planning
Session date: 9 December 2024
Session host: Koos van der Linden
More infoAn MDD Based Approach for Pickup-and-Delivery TSP
Session date: 2 December 2024
Session host: Elif Arslan
More infoMallobSat: Scalable SAT Solving by Clause Sharing
Session date: 25 November 2024
Session host: Maarten Flippo
More infoColumn Elimination: An Iterative Approach to Solving Integer Programs
Session date: 18 November 2024
Session host: Anthony Karahalios
More infoLarge Neighborhood Search with Decision Diagrams
Session date: 11 November 2024
Session host: Jop Schaap
More infoUnifying SAT-Based Approaches to Maximum Satisfiability Solving
Session date: 14 October 2024
Session host: Imko Marijnissen
More infoProactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags
Session date: 7 October 2024
Session host: Kim van den Houten
More infoDeep RL for Combinatorial Optimisation
Session date: 30 September 2024
Session host: Wendelin Böhmer
More infoParallel General-Purpose Dynamic Programming Solvers for Combinatorial Optimization
Session date: 16 September 2024
Session host: Chris Beck
More infoFinding the shortest resolution proof of an UNSAT formula
Session date: 15 July 2024
Session host: Konstantin Sidorov
More infoMulti valued decision diagrams for multi machine sequencing problems
Session date: 8 July 2024
Session host: Eghonghon Eigbe
More infoViolationLS: Constraint-Based Local Search in CP-SAT
Session date: 1 July 2024
Session host: Maarten Flippo
More infoA conditional time-intervals formulation of the real-time Railway Traffic Management Problem
Session date: 24 June 2024
Session host: Nevena Gincheva
More infoA Branch-and-Cut algorithm for graph coloring
Session date: 17 June 2024
Session host: Konstantin Sidorov
More infoDomain-Independent Dynamic Programming
Session date: 3 June 2024
Session host: Koos van der Linden
More infoApplying column generation to the general employee scheduling problem
Session date: 27 May 2024
Session host: Robin Jansen
More infoEfficiently explaining constraint models with CPMpy
Session date: 13 May 2024
Session host: Ignace Bleukx
More infoCombining Clause Learning and Branch and Bound for MaxSAT
Session date: 29 April 2024
Session host: Imko Marijnissen
More infoHow to solve larger CP instances with constraint-based local search?
Session date: 22 April 2024
Session host: Maarten Flippo
More infoHow to use global constraints in CP branching?
Session date: 15 April 2024
Session host: Konstantin Sidorov
More infoHow to derive good lower bounds on resolution proof length?
Session date: 25 March 2024
Session host: Konstantin Sidorov
More infoSatisfiability modulo ordering consistency theory for multi-threaded program verification
Session date: 11 March 2024
Session host: Dennis Sprokholt
More infoColumn Elimination for Capacitated Vehicle Routing Problems
Session date: 4 March 2024
Session host: Elif Arslan
More infoA tour of Dantzig–Wolfe decomposition
Session date: 26 February 2024
Session host: Konstantin Sidorov
More infoDecomposition choices for column generation applied to large-scale urban multi-energy system models
Session date: 19 February 2024
Session host: Maaike Elgersma
More infoA Column Generation Approach for Graph Coloring
Session date: 12 February 2024
Session host: Konstantin Sidorov
More infoAutomatic Caching via Constraint Projection
Session date: 29 January 2024
Session host: Imko Marijnissen
More infoA tour of pseudo-Boolean reasoning
Session date: 22 January 2024
Session host: Emir Demirović
More infoThe IntSat Method for Integer Linear Programming
Session date: 15 January 2024
Session host: Maarten Flippo
More infoImproving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
Session date: 8 January 2024
Session host: Konstantin Sidorov
More infoFast Matrix Multiplication Without Tears: A Constraint Programming Approach
Session date: 18 December 2023
Session host: Konstantin Sidorov
More infoInterval Constraints with Learning: Application to Air Traffic Control
Session date: 11 December 2023
Session host: Maarten Flippo
More infoAn introduction to mathematical programming in Julia
Session date: 27 November 2023
Session host: Greg Neustroev
More infoSAT-based Combinatorial Optimisation
Session date: 20 November 2023
Session host: Andre Schidler
More infoDecision Diagrams for Industrial Scheduling
Session date: 13 November 2023
Session host: Eghonghon Eigbe
More infoSafety Verification of Decision-Tree Policies in Continuous Time
Session date: 6 November 2023
Session host: Anna Lukina
More infoOptimal Decision Trees using Dynamic Programming: A generalized approach
Session date: 30 October 2023
Session host: Koos van der Linden
More infoOptimal Decision Trees using Dynamic Programming
Session date: 23 October 2023
Session host: Koos van der Linden
More infoFast, flexible MUS enumeration
Session date: 2 October 2023
Session host: Konstantin Sidorov
More infoA hybrid propagator for the cumulative constraint & Explanations for Lazy Clause Generation (LCG) solvers
Session date: 25 September 2023
Session host: Imko Marijnissen
More infoA (not so) brief overview of propagation (and explanations) for the cumulative constraint
Session date: 18 September 2023
Session host: Imko Marijnissen
More infoCertification of an optimal TSP tour through 85,900 cities
Session date: 11 September 2023
Session host: Konstantin Sidorov
More infoEnhancing Hybrid CP-SAT Search for Disjunctive Scheduling
Session date: 4 September 2023
Session host: Maarten Flippo
More infoGourd-Test: testing Pumpkin and beyond
Session date: 28 August 2023
Session host: Jeff Smits
More infoOptimality certificates, MIP style
Session date: 20 June 2023
Session host: Konstantin Sidorov
More infoColumn generation for real-time ride-sharing operations
Session date: 12 June 2023
Session host: Elif Arslan
More infoLearning general constraints in csp
Session date: 30 May 2023
Session host: Maarten Flippo
More infoAn Auditable Constraint Programming Solver
Session date: 22 May 2023
Session host: Konstantin Sidorov
More info