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