Shrotri, A. A., Narodytska, N., Ignatiev, A., Meel, K. S., Marques-Silva, J., & Vardi, M. Y. (2022). Constraint-Driven Explanations for Black-Box ML Models. Proceedings of the AAAI Conference on Artificial Intelligence, 36(8), 8304-8314. https://doi.org/10.1609/aaai.v36i8.20805