Talks

Modeling and Explaining an Industrial Workforce Allocation Problem

2026 · IJCAI 2026 · Sister Conference Track

Towards Step-Wise Explanations of Large Search Trees

2026 · CP 2026 · Conference Talk

Large Language Models for Explaining Unsatisfiable Constraint Satisfaction Problems

2026 · LLM-Solve 2026 · Workshop Talk

Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem

2025 · CP 2025 · Conference Talk

Using Certifying Constraint Solvers for Generating Step-Wise Explanation Sequences

2025 · ExCOS 2025 · Workshop Talk

Exploiting Symmetries in MUS Computation

2025 · AAAI 2025 · Conference Talk

Half-Reification and Model Reformulation

2024 · ModRef 2024 · Workshop Talk

Explainable Constraint Solving Tutorial

2024 · ECAI 2024 · Tutorial

Explainable Constraint Solving Tutorial

2023 · CP 2023 · Tutorial

Mutational Fuzz Testing for Constraint Modeling Systems

2023 · ModRef 2023 · Workshop Talk

Simplifying Step-Wise Explanation Sequences

2023 · CP 2023 · Conference Talk