Shrotri, A. A.; Narodytska, N.; Ignatiev, A.; Meel, K. S.; Marques-Silva, J.; Vardi, M. Y. Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022, 36, 8304-8314.