School of Computing Science Scholarship (LKAS)
Published:
Posts by Collection
Funding
Short Term Scientific Mission
Published:
Mac Robertson PGR Travel Scholarship
Published:
Publications
Towards Generic Explanations for Pen and Paper Puzzles with MUSes
Published in SICSA XAI 2021, 2021
The paper presents Demystify, a tool that solves pen-and-paper puzzles using constraint programming, and uses minimal unsatisfiable subsets (MUSes) to generate human-understandable reasoning steps.
Proof Logging for Smart Extensional Constraints
Published in CP 2023, 2023
Adding proof logging to propagators for the Smart Table and Regular Language Membership constraints.
Proof Logging for the Circuit Constraint
Published in CPAIOR 2024, 2024
Adding proof logging to propagators for the Circuit constraint.
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Published in CP 2024, 2024
Showing how to add proof logging to decision-diagram and dynamic-programming based algorithms
Certifying Bounds Propagation for Integer Multiplication Constraints
Published in AAAI 2025, 2025
Showing how to add proof logging to bounds-consistent propagators for multiplication constraints.
Talks
Proof Logging for Constraint Programming
Published:
Certified Constraint Programming
Published: