HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. - Yang Li 197; Xinyan Chen; Wenxuan Guo; Xijun Li; Wanqian Luo; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Junchi Yan (KDD, 2023)

Machine Learning Methods in Solving the Boolean Satisfiability Problem. - Wenxuan Guo; Hui-Ling Zhen; Xijun Li; Wanqian Luo; Mingxuan Yuan; Yaohui Jin; Junchi Yan (Mach. Intell. Res., 2023)