Saška Magdy
- Total activity 3
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 0
Activity overview
Latest activity by Saška Magdy-
Saška Magdy commented,
Removing constraints but staying infeasible, this won't result in minimal IIS.Trying all combinations outside Gurobi is indeed a slow choice. Speed impact 2^n. Is there any chance that this will be...
-
Saška Magdy commented,
Even withmodel.Parameters.Presolve = 0model.Parameters.IISMethod = 1model.ComputeIIS()and writing the .ilp to fileThe result is not the smallest irreducible subsystem. For example I get 8 constrain...
-
Saška Magdy created a post,
Minimal constraints needed to prove the contradiction
AnsweredI need the minimal constraints needed to prove the contradiction.The problem is binary but maybe its easier to explain like this: a > 20 a > 40 a < 60 asking the model a = 70 should return a < 60 ...