Publications

International conferences

2021 Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure, Karim Tabia, A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration in The 23rd International Conference on Artificial Intelligence (ICAI'21),pp. https://www.springer.com/series/11769, 2021.