Diagnosing Infeasibility by Refining Conflicts

This chapter tells you about the conflict refiner, a feature of ILOG CPLEX for diagnosing the cause of infeasibility in a model, whether continuous or discrete, whether linear or quadratic.