Uses AP reductions; stick to maximization problems only.