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 ...