Shrotri, A. A., N. Narodytska, A. Ignatiev, K. S. Meel, J. Marques-Silva, and M. Y. Vardi. “Constraint-Driven Explanations for Black-Box ML Models”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 8, June 2022, pp. 8304-1, doi:10.1609/aaai.v36i8.20805.