TY - RPRT TI - Explainable AI using expressive Boolean formulas AU - Gili Rosenberg AU - J. Kyle Brubaker AU - Martin J. A. Schuetz AU - Grant Salton AU - Zhihuai Zhu AU - Elton Yechao Zhu AU - Serdar Kadıoğlu AU - Sima E. Borujeni AU - Helmut G. Katzgraber PY - 2023 DO - 10.3390/make5040086 UR - https://arxiv.org/abs/2306.03976 ID - 2306.03976 ER -