@misc{indiciae4d85561e78c0,
  title = {A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration},
  author = {Ryma Boumazouza and Fahima Cheikh-Alili and Bertrand Mazure and Karim Tabia},
  year = {2022},
  url = {https://arxiv.org/abs/2206.11539},
  note = {Source identifier: 2206.11539}
}