Optimizing over trained GNNs via symmetry breaking - Zhang, Shiqiang; Campos, Juan; Feldmann, Christian; Walz, David; Sandfort, Frederik; Mathea, Miriam; Tsay, Calvin; Misener, Ruth (Advances in Neural Information Processing Systems, 2023)