Optimizing over trained GNNs via symmetry breaking | Read Paper on Bytez