Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

25 May 2021

Papers citing "Efficiently Explaining CSPs with Unsatisfiable Subset Optimization"

3 / 3 papers shown

Title
Exploiting Symmetries in MUS Computation (Extended version) Ignace Bleukx Hélène Verhaeghe B. Bogaerts Tias Guns 62 0 0 18 Dec 2024
Logic-Based Explainability in Machine Learning João Marques-Silva LRM XAI 31 39 0 24 Oct 2022
Efficient Explanations for Knowledge Compilation Languages Xuanxiang Huang Yacine Izza Alexey Ignatiev Martin C. Cooper Nicholas M. Asher João Marques-Silva 12 14 0 04 Jul 2021