Ghosh, B.; Basu, D.; Meel, K. S. Justicia: A Stochastic SAT Approach to Formally Verify Fairness. AAAI 2021, 35, 7554-7563.