#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2008

2016

- This year (0)
- Last 5 years (4)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter
- CPAIOR
- 2008

This article introduces constraint integer programming (CIP), which is a novel way to combine constraint programming (CP) and mixed integer programming (MIP) methodologies. CIP is a generalization of MIP that supports the notion of general constraints as in CP. This approach is supported by the CIP framework SCIP, which also integrates techniques from SAT… (More)

- Thorsten Koch, Tobias Achterberg, +13 authors Kati Wolter
- Math. Program. Comput.
- 2011

This paper reports on the fifth version of the Mixed Integer Programming Library. The miplib 2010 is the first miplib release that has been assembled by a large group from academia and from industry, all of whom work in integer programming. There was mutual consent that the concept of the library had to be expanded in order to fulfill the needs of the… (More)

- Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
- ISSAC
- 2012

We describe an iterative refinement procedure for computing extended precision or exact solutions to linear programming problems (LPs). Arbitrarily precise solutions can be computed by solving a sequence of closely related LPs with limited precision arithmetic. The LPs solved share the same constraint matrix as the original problem instance and are… (More)

- William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
- Math. Program. Comput.
- 2013

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. This allows the solver to be used for establishing theoretical results and in applications where correct solutions are critical due to legal and financial consequences. Our… (More)

- William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
- IPCO
- 2011

We present an exact rational solver for mixed-integer linear programming which avoids the numerical inaccuracies inherent in the floating-point computations adopted in existing software. This allows the solver to be used for establishing fundamental theoretical results and in applications where correct solutions are critical due to legal and financial… (More)

- Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
- INFORMS Journal on Computing
- 2016

We describe an iterative refinement procedure for computing extended precision or exact solutions to linear programming problems (LPs). Arbitrarily precise solutions can be computed by solving a sequence of closely related LPs with limited precision arithmetic. The LPs solved share the same constraint matrix as the original problem instance and are… (More)

- Daniel E. Steffy, Kati Wolter
- INFORMS Journal on Computing
- 2013

- ‹
- 1
- ›