Online Bayesian Moment Matching based SAT Solver Heuristics.

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

Browse the full ICML paper archive.