Checking Linear Duration Invariants by Linear Programming.
Xuandong LiDang Van HungPublished in: ASIAN (1996)
Keyphrases
- linear programming
- quadratic programming
- linear inequalities
- linear program
- semidefinite programming
- nonlinear programming
- integer programming
- feasible solution
- semidefinite
- network flow
- linear systems
- column generation
- computer vision
- data sets
- np hard
- objective function
- closed form
- least squares
- linear constraints
- evolutionary algorithm
- optimal solution