Login / Signup
Justicia: A Stochastic SAT Approach to Formally Verify Fairness.
Bishwamittra Ghosh
Debabrota Basu
Kuldeep S. Meel
Published in:
CoRR (2020)
Keyphrases
</>
sat solvers
monte carlo
satisfiability problem
stochastic optimization
search strategies
phase transition
neural network
artificial neural networks
state space
np complete
resource allocation
stochastic model
sat instances
sat solving
davis putnam logemann loveland