Spread-Out Bragg Peak in Treatment Planning System by Mixed Integer Linear Programming: a Proof of Concept | IEEE Conference Publication | IEEE Xplore