Search for a command to run...
Amélioration des représentations de réseaux neuronaux graphiques pour des formules logiques par agrégation de sous-graphes