Shrotri, Aditya A., Nina Narodytska, Alexey Ignatiev, Kuldeep S Meel, Joao Marques-Silva, and Moshe Y. Vardi. “Constraint-Driven Explanations for Black-Box ML Models”. Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 8 (June 28, 2022): 8304-8314. Accessed April 19, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/20805.