A certifying algorithm is an algorithm that produces, with each output, a certificate or witness
(easy-to-verify proof) that the particular output has not been compromised by a bug. A user …

The use of floating-point calculations limits the accuracy of solutions obtained by standard
LP software. We present a simplex-based algorithm that returns exact rational solutions …

We describe an iterative refinement procedure for computing extended-precision or exact
solutions to linear programming (LP) problems. Arbitrarily precise solutions can be …

We present an exact rational solver for mixed-integer linear programming that avoids the
numerical inaccuracies inherent in the floating-point computations used by existing software …

We describe an iterative refinement procedure for computing extended precision or exact
solutions to linear programming problems (LPs). Arbitrarily precise solutions can be …

We present an exact rational solver for mixed-integer linear programming that avoids the
numerical inaccuracies inherent in the floating-point computations used by existing software …

Abstract Constraint-Based Reconstruction and Analysis (COBRA) is currently the only
methodology that permits integrated modeling of Metabolism and macromolecular …

“These problems occur in everyday life; they run the gamut from some very simple situations
that confront an individual to those connected with the national economy as a whole …

Software for mixed-integer linear programming can return incorrect results for a number of
reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ …

The NETLIB has now served for 18 years as a repository of LP problem instances. From the
beginning to the present day there was some uncertainness about the precise values of the …