Towards Better Generalization for Neural Network-Based SAT Solvers.

Chenhao Zhang, Yanjun Zhang, Jeff Mao, Weitong Chen, Lin Yue, Guangdong Bai, Miao Xu

Browse the full PAKDD paper archive.