ML Anthology

Nejati, Saeed

1 publications

ICML 2020 Online Bayesian Moment Matching Based SAT Solver Heuristics Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh