ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia. ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. In Gianluca Demartini, Guido Zuccon, J. Shane Culpepper, Zi Huang, Hanghang Tong, editors, CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021. pages 120-129, ACM, 2021. [doi]

@inproceedings{BoumazouzaAMT21,
  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 = {2021},
  doi = {10.1145/3459637.3482321},
  url = {https://doi.org/10.1145/3459637.3482321},
  researchr = {https://researchr.org/publication/BoumazouzaAMT21},
  cites = {0},
  citedby = {0},
  pages = {120-129},
  booktitle = {CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021},
  editor = {Gianluca Demartini and Guido Zuccon and J. Shane Culpepper and Zi Huang and Hanghang Tong},
  publisher = {ACM},
  isbn = {978-1-4503-8446-9},
}