Induction duality: primal-dual search for invariants.
Oded PadonJames R. WilcoxJason R. KoenigKenneth L. McMillanAlex AikenPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- primal dual
- linear programming
- search direction
- duality gap
- affine scaling
- dual formulation
- convex optimization
- linear program
- interior point methods
- simplex algorithm
- approximation algorithms
- search algorithm
- linear programming problems
- semidefinite programming
- algorithm for linear programming
- variational inequalities
- search space
- interior point
- simplex method
- convergence rate
- interior point algorithm
- objective function
- convex programming
- multiple objectives
- convex optimization problems
- saddle point
- motion estimation