Talks
2026
- Jul 2026 Off-the-Shelf Global Optimization for Combinatorial Geometry ProblemsIFORS 2026, Vienna, Austria
- May 2026 CHAP: Coordinating Heuristics Across PlatformsMIP Workshop 2026, Stamford, USA · invited
- Mar 2026 Recent Developments in the SCIP Optimization SuiteNII Seminar, Tokyo, Japan · invited
- Mar 2026 Recent Developments in the SCIP Optimization SuiteSIAM PP 2026, Berlin, Germany
2025
- Jul 2025 Sparsity-driven Aggregation of Mixed Integer ProgramsSEA 2025, Venice, Italy
- Jun 2025 State-of-the-art Methods for Pseudo-Boolean Solving with SCIPEURO 2025, Leeds, UK
- May 2025 Cut-Based Conflict Analysis in Mixed Integer ProgrammingOsaka Seminar, Osaka, Japan · invited
- Feb 2025 Demystifying Pseudo-Boolean Conflict Analysis through a MIP LensIOL Seminar, Berlin, Germany
2024
- Jul 2024 Generalized Resolution Conflict Analysis in MIP SolversISMP 2024, Montréal, Canada
- May 2024 Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching ModelCPAIOR 2024, Uppsala, Sweden
2023
- Aug 2023 Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean ReasoningCP 2023, Toronto, Canada
- Jul 2023 Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean ReasoningPragmatics of SAT 2023, Alghero, Italy
2022
- Jul 2022 Feasibility Pump Using Multiple Reference Vectors and New ScalingEURO 2022, Espoo, Finland