Hits: 0
Research Area: Exact Integer Programming
Status: In progress  
Project page

Our objective is to design a framework that can exactly solve MIP instances that are given by rational data. For a feasible instance, a true optimum solution will be computed; for an infeasible instance, a provably correct infeasibility certificate will be issued. Based on the software SCIP (Solving Constraint Integer Programs) we want to provide a fully fledged production code which includes all state-of-the-art components of modern MIP solvers to achieve reasonable running times.

[ Back ]