Efficient certification of feasibility and objective value of linear programs and its applications

Daniel Dumitriu
The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.