TY  - RPRT
TI  - Addressing Variable Dependency in GNN-based SAT Solving
AU  - Zhiyuan Yan
AU  - Min Li
AU  - Zhengyuan Shi
AU  - Wenjie Zhang
AU  - Yingcong Chen
AU  - Hongce Zhang
PY  - 2023
UR  - https://arxiv.org/abs/2304.08738
ID  - 2304.08738
ER  -