Saška Magdy
- 合計アクティビティ 3
- 前回のアクティビティ
- メンバー登録日
- フォロー 0ユーザー
- フォロワー 0ユーザー
- 投票 0
- サブスクリプション 0
アクティビティの概要
Saška Magdyさんの最近のアクティビティ-
Saška Magdyさんがコメントを作成しました:
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さんがコメントを作成しました:
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さんが投稿を作成しました:
Minimal constraints needed to prove the contradiction
回答済みI 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 ...