Optimus: SINR-Driven Spectrum Distribution via Constraint Transformation