A computational status update for exact rational mixed integer programming

An Exact Rational Mixed-Integer Programming Solver

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 consequences. Our solver is a hybrid symbol...

Exact Mixed Integer Programming for Integrated Scheduling and Process Planning in Flexible Environment

This paper presented a mixed integer programming for integrated scheduling and process planning. The presented process plan included some orders with precedence relations similar to Multiple Traveling Salesman Problem (MTSP), which was categorized as an NP-hard problem. These types of problems are also called advanced planning because of simultaneously determining the appropriate sequence and m...

A hybrid branch-and-bound approach for exact rational mixed-integer programming

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 solver is a hybrid symbolic/numeric imple...

Valid Linear Programming Bounds for Exact Mixed-Integer Programming

A Computational Study of Search Strategies for Mixed Integer Programming

The branch and bound procedure for solving mixed integer programming MIP problems using linear programming relaxations has been used with great success for decades Over the years a variety of researchers have studied ways of making the basic algorithm more e ective Breakthroughs in the elds of computer hardware computer software and mathematics have led to increasing success at solving larger a...