@article{explainableaiusingexpressiveboolean,
  title = {Explainable AI using expressive Boolean formulas},
  author = {Gili Rosenberg and J. Kyle Brubaker and Martin J. A. Schuetz and Grant Salton and Zhihuai Zhu and Elton Yechao Zhu and Serdar Kadıoğlu and Sima E. Borujeni and Helmut G. Katzgraber},
  year = {2023},
  eprint = {2306.03976},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.03976v1},
}