TY  - RPRT
TI  - G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
AU  - Zhaoyu Li
AU  - Jinpei Guo
AU  - Xujie Si
PY  - 2024
UR  - https://arxiv.org/abs/2309.16941
ID  - 2309.16941
ER  -