A Mixed Integer Linear Programming Approach to Electrical Stimulation Optimization Problems | Synapse