Linear Programming for Bernstein Based Solvers.
Dominique MichelucciChristoph FünfzigPublished in: Automated Deduction in Geometry (2008)
Keyphrases
- linear programming
- linear program
- integer programming
- feasible solution
- primal dual
- dynamic programming
- optimal solution
- quadratic programming
- mathematical programming
- np hard
- lp relaxation
- quantified boolean formulas
- constraint propagation
- nonlinear programming
- network flow
- constraint solver
- highly optimized
- sat solvers
- column generation
- data sets
- simulated annealing
- evolutionary algorithm
- computational complexity
- objective function
- numerically stable
- image sequences