Lemma 4.2, pp. 11–12 — one-step change estimates for the augmented Lagrangian L_γ · Prove2Me

P

Initializing...

Lemma 4.2, pp. 11–12 — one-step change estimates for the augmented Lagrangian L_γ · Prove2Me