Software Verification Based on Linear Programming.
S. DellacherieSamuel DevulderJean-Luc LambertPublished in: World Congress on Formal Methods (1999)
Keyphrases
- linear programming
- linear program
- feasible solution
- objective function
- linear programming problems
- dynamic programming
- primal dual
- integer programming
- nonlinear programming
- optimal solution
- dual variables
- quadratic programming
- np hard
- network flow
- simplex algorithm
- video sequences
- multiscale
- column generation
- artificial intelligence
- significant improvement
- data model
- lower bound
- constraint satisfaction problems
- similarity measure
- constraint propagation
- knowledge base
- computer vision
- neural network
- data sets