Shrotri, Aditya A., Nina Narodytska, Alexey Ignatiev, Kuldeep S Meel, Joao Marques-Silva, and Moshe Y. Vardi. 2022. “Constraint-Driven Explanations for Black-Box ML Models”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (8):8304-14. https://doi.org/10.1609/aaai.v36i8.20805.