TY - RPRT TI - Structure based SAT dataset for analysing GNN generalisation AU - Yi Fu AU - Anthony Tompkins AU - Yang Song AU - Maurice Pagnucco PY - 2025 UR - https://arxiv.org/abs/2502.11410 ID - 2502.11410 ER -