@misc{indiciaec0243b7f8418, title = {Structure based SAT dataset for analysing GNN generalisation}, author = {Yi Fu and Anthony Tompkins and Yang Song and Maurice Pagnucco}, year = {2025}, url = {https://arxiv.org/abs/2502.11410}, note = {Source identifier: 2502.11410} }