[intermediate] Optimization Problem Formulation