activity
20172026
most citedBeyond Confidence Regions: Tight Bayesian Ambiguity Sets for Robust MDPs

19 citations · 40 across the 13 of their papers we have counts for

collaborators
Showing 2019 · cs.AIShow all

1 paper · 2 filters

cs.AI2019

A Probabilistic Approach to Satisfiability of Propositional Logic Formulae

Reazul Hasan Russel

We propose a version of WalkSAT algorithm, named as BetaWalkSAT. This method uses probabilistic reasoning for biasing the starting state of the local search algorithm. Beta distrib…