Search for a command to run...
Verbesserung von Graph Neural Network-Darstellungen logischer Formeln durch Subgraph-Pooling