Bounds on Polarization Problems on Compact Sets via Mixed Integer Programming | Synapse