TY  - RPRT
TI  - Justicia: A Stochastic SAT Approach to Formally Verify Fairness
AU  - Bishwamittra Ghosh
AU  - Debabrota Basu
AU  - Kuldeep S. Meel
PY  - 2021
UR  - https://arxiv.org/abs/2009.06516
ID  - 2009.06516
ER  -