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…