External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Online Bayesian Moment Matching based SAT Solver Heuristics

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]

Authors

Haonan Duan

This author has not been identified. Look up 'Haonan Duan' in Google

Saeed Nejati

This author has not been identified. Look up 'Saeed Nejati' in Google

George Trimponias

This author has not been identified. Look up 'George Trimponias' in Google

Pascal Poupart

This author has not been identified. Look up 'Pascal Poupart' in Google

Vijay Ganesh

This author has not been identified. Look up 'Vijay Ganesh' in Google
runs on