[1]
A. A. Shrotri, N. Narodytska, A. Ignatiev, K. S. Meel, J. Marques-Silva, and M. Y. Vardi, “Constraint-Driven Explanations for Black-Box ML Models”, AAAI, vol. 36, no. 8, pp. 8304-8314, Jun. 2022.