Ghosh, B., Basu, D., & Meel, K. S. (2021). Justicia: A Stochastic SAT Approach to Formally Verify Fairness. Proceedings of the AAAI Conference on Artificial Intelligence, 35(9), 7554-7563. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/16925