Chenhao Zhang, Yanjun Zhang, Jeff Mao, Weitong Chen, Lin Yue, Guangdong Bai, Miao Xu. Towards Better Generalization for Neural Network-Based SAT Solvers. In João Gama 0001, Tianrui Li 0001, Yang Yu 0001, Enhong Chen, Yu Zheng, Fei Teng 0001, editors, Advances in Knowledge Discovery and Data Mining - 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022, Proceedings, Part II. Volume 13281 of Lecture Notes in Computer Science, pages 199-210, Springer, 2022. [doi]
Abstract is missing.