Fast and accurate bounds on linear programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5526 LNCS, Issue , 2009, Pages 40-50

  Althaus, Ernst ^a   Dumitriu, Daniel ^a  

^a JOHANNES GUTENBERG UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FEASIBLE SOLUTION; LINEAR PROGRAMS;

LINEAR PROGRAMMING; SPACECRAFT;

ALGORITHMS;

EID: 68749099795     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02011-7_6     Document Type: Conference Paper

References (16)

1. Devulder, S., Lambert, J.L.: A comparative study between linear programming validation (LPV) and other verification methods. In: Automated Software Engineering (ASE), pp. 299-302 (1999)
2. Brinkmann, R., Drechsler, R.: RTL-Datapath verification using integer linear programming. In: Design Automation Conference (ASP-DAC), pp. 741-746. IEEE, Los Alamitos (2002)
3. Dellacherie, S., Devulder, S., Lambert, J.L.: Software verification based on linear programming. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol. 1709, pp. 1147-1165. Springer, Heidelberg (1999)
4. Dhiflaoui, M., Funke, S., Kwappik, C., Mehlhorn, K., Seel, M., Schömer, E., Schulte, R., Weber, D.: Certifying and repairing solutions to large LPs how good are LP-solvers? In: Symposium of Discrete Algorithms (SODA), pp. 255-256 (2003)
5. Koch, T.: The final NETLIB-LP results. Oper. Res. Lett. 32(2), 138-142 (2004)
6. Applegate, D., Cook, W., Dash, S., Espinoza, D.: Exact solutions to linear programming problems. Oper. Res. Lett. 35(6), 693-699 (2007)
7. Neumaier, A., Shcherbina, O.: Safe bounds in linear and mixed-integer linear programming. Math. Program. 99(2), 283-296 (2004)
8. Keil, C., Jansson, C.: Computational experience with rigorous error bounds for the netlib linear programming library. Reliable Computing 12(4), 303-321 (2006)
9. Netlib: A Linear Programming Library, http://www.netlib.org/lp/
10. Higham, N.J.: A survey of condition number estimation for triangular matrices. SIAM Review 29(4), 575-596 (1987)
11. SoPlex: The Sequential object-oriented simplex, http://soplex.zib.de/
12. Wunderling, R.: Paralleler und objektorientierter Simplex-Algorithmus. Ph.D thesis, Technische Universität Berlin (1996), http://www.zib.de/ Publications/abstracts/TR-96-09/
13. GMP: The GNU Multiple Precision Arithmetic Library, http://gmplib.org/
14. Boost: C++ Libraries, http://www.boost.org/
15. Achterberg, T.: SCIP - a framework to integrate constraint and mixed integer programming. Technical Report 04-19, Zuse Institute Berlin (2004), http://www.zib.de/Publications/abstracts/ZR-04-19
16. Fränzle, M., Herde, C., Ratschan, S., Schubert, T., Teige, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. JSAT Special Issue on Constraint Programming and SAT 1, 209-236 (2007)