Structure based SAT dataset for analysing GNN generalisation

Open in new window