Online Bayesian Moment Matching based SAT Solver Heuristics

Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh

Abstract: In this paper, we present a Bayesian Moment Matching (BMM) based method aimed at solving the initialization problem in Boolean SAT solvers. The initialization problem can be stated as follows: give...