Addressing Variable Dependency in GNN-based SAT Solving

Zhiyuan Yan, Min Li, Zhengyuan Shi +3

Boolean satisfiability problem (SAT) is fundamental to many applications. Existing works have used graph neural networks (GNNs) for (approximate) SAT solving. Typical GNN-based end…