Ghosh, Basu, Meel, 2021. Justicia: A Stochastic SAT Approach to Formally Verify Fairness.