Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan. Machine Learning Methods in Solving the Boolean Satisfiability Problem[J]. Machine Intelligence Research, 2023, 20(5): 640-655. DOI: 10.1007/s11633-022-1396-2
Citation: Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan. Machine Learning Methods in Solving the Boolean Satisfiability Problem[J]. Machine Intelligence Research, 2023, 20(5): 640-655. DOI: 10.1007/s11633-022-1396-2

Machine Learning Methods in Solving the Boolean Satisfiability Problem

  • This paper reviews the recent literature on solving the Boolean satisfiability problem (SAT), an archetypal \calNP-complete problem, with the aid of machine learning (ML) techniques. Over the last decade, the machine learning society advances rapidly and surpasses human performance on several tasks. This trend also inspires a number of works that apply machine learning methods for SAT solving. In this survey, we examine the evolving ML SAT solvers from naive classifiers with handcrafted features to emerging end-to-end SAT solvers, as well as recent progress on combinations of existing conflict-driven clause learning (CDCL) and local search solvers with machine learning methods. Overall, solving SAT with machine learning is a promising yet challenging research topic. We conclude the limitations of current works and suggest possible future directions. The collected paper list is available at https://github.com/Thinklab-SJTU/awesome-ml4co.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return