Mixed Integer (Non-) Linear Programming Formulations Of Graph Neural Networks