Optimization Problem
An optimization problem (C,f) consists of a constraint C and objective function f
A valuation v1 is preferred to valuation v2 if f(v1) < f(v2)
An optimal solution is a solution of C such that no other solution of C is preferred to it