Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh. Online Bayesian Moment Matching based SAT Solver Heuristics. In Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event. Volume 119 of Proceedings of Machine Learning Research, pages 2710-2719, PMLR, 2020. [doi]
Abstract is missing.