Using Certifying Constraint Solvers for Generating Step-wise Explanation Sequences
AAAI 2025
Exploiting Symmetries in MUS Computation
AAAI 2024
Simplifying Step-Wise Explanation Sequences
CP 2023
Sudoku Assistant - an AI-Powered App to Help Solve Pen-and-Paper Sudokus
AAAI 2023