Towards Better Generalization for Neural Network-Based SAT Solvers. - Chenhao Zhang 004; Yanjun Zhang; Jeff Mao; Weitong Chen 001; Lin Yue; Guangdong Bai; Miao Xu 001 (PAKDD (2), 2022)