ILOG CPLEX 10.2 Documentation