Marcel Dhiflaoui

Learn More
State-of-the-art linear programming (LP) solvers give solutions without any warranty. Solutions are not guaranteed to be optimal or even close to optimal. Of course, it is generally believed that the solvers produce optimal or at least close to optimal solutions.We have implemented a system LPex which allows us to check this belief. More precisely, given an(More)
  • 1