Zhang, Chenhao, Zhang, Yanjun, Mao, Jeff Mao, Chen, Weitong, Yue, Lin, Bai, Guangdong, Xu, Miao. Springer; 2022. Towards Better Generalization For Neural Network-Based SAT Solvers.