Haoze Wu. Improving SAT-solving with Machine Learning. In Michael E. Caspersen, Stephen H. Edwards, Tiffany Barnes, Daniel D. Garcia, editors, Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, Seattle, WA, USA, March 8-11, 2017. pages 787-788, ACM, 2017. [doi]
Abstract is missing.