Imperial College London, London, UK; BASF SE, Ludwigshafen, Germany
Shiqiang Zhang, Juan Campos, Christian Feldmann, David Walz, Frederik Sandfort, Miriam Mathea, Calvin Tsay, Ruth Misener
Mixed-integer optimization;Graph neural network;Symmetry-breaking;Molecular design
Optimizing over trained GNNs via symmetry breaking