@misc{indiciaeb6c0e799980b,
  title = {ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations},
  author = {Ryma Boumazouza and Fahima Cheikh-Alili and Bertrand Mazure and Karim Tabia},
  year = {2022},
  doi = {10.1145/3459637.3482321},
  url = {https://arxiv.org/abs/2206.11900},
  note = {Source identifier: 2206.11900}
}