Augmented Lagrangian Formulations