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