Login / Signup
Justicia: A Stochastic SAT Approach to Formally Verify Fairness.
Bishwamittra Ghosh
Debabrota Basu
Kuldeep S. Meel
Published in:
AAAI (2021)
Keyphrases
</>
sat solvers
stochastic optimization
search algorithm
monte carlo
resource allocation
stochastic programming
game theory
satisfiability problem
stochastic model
sat solving
stochastic local search algorithms
stochastic nature
sat instances
learning automata
stochastic processes
search tree
orders of magnitude