CASIA OpenIR

Browse/Search Results:  1-1 of 1 Help

Selected(0)Clear Items/Page:    Sort:
Machine Learning Methods in Solving the Boolean Satisfiability Problem 期刊论文
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
Authors:  Wenxuan Guo;  Hui-Ling Zhen;  Xijun Li;  Wanqian Luo;  Mingxuan Yuan;  Yaohui Jin;  Junchi Yan
Adobe PDF(1518Kb)  |  Favorite  |  View/Download:40/12  |  Submit date:2024/04/23
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization