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. https://doi.org/10.1609/aaai.v35i9.16925