Certifying and repairing solutions to large LPs how good are LP-solvers?
Marcel DhiflaouiStefan FunkeCarsten KwappikKurt MehlhornMichael SeelElmar SchömerRalph SchulteDennis WeberPublished in: SODA (2003)
Keyphrases
- extreme points
- linear program
- optimal solution
- feasible solution
- linear programming
- solution quality
- optimization problems
- search algorithm
- objective function
- approximate solutions
- search heuristics
- lower bound
- special case
- dynamic programming
- information retrieval
- orders of magnitude
- benchmark problems
- sat solvers
- website