[1]
Ghosh, B., Basu, D. and Meel, K.S. 2021. Justicia: A Stochastic SAT Approach to Formally Verify Fairness. Proceedings of the AAAI Conference on Artificial Intelligence. 35, 9 (May 2021), 7554-7563.