3

The Elephant in the Room: Variable Dependency in GNN-based SAT Solving

SAT Solving Graph Neural Networks Variable Dependency

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Ying-Cong Chen, Hongce Zhang