research
∙
06/23/2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
The ever increasing complexity of machine learning techniques used more ...
share
research
∙
06/23/2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
In this paper titled A Model-Agnostic SAT-based approach for Symbolic Ex...
research
∙
06/20/2022
A Symbolic Approach for Counterfactual Explanations
In this paper titled A Symbolic Approach for Counterfactual Explanations...
research
∙
07/12/2013
Improving MUC extraction thanks to local search
ExtractingMUCs(MinimalUnsatisfiableCores)fromanunsatisfiable constraint ...
research
∙
10/07/2009