I have another question, the question is:
From a system constraints infeasible and by using Cplex, we can calculate
the Min IIS by using the ConflictRefiner.
I work in my doctoral thesis on the diagnostic of systems infeasible and i
need to calculate all IIS system using Cplex and MIN IIS COVER (MIN FS). I
know that there are heuristics to enumerate all of the IIS and then find
the MIN IIS COVER (the minimal set of constraints that covers all IIS
This topic has been locked.
6 replies Latest Post - 2012-12-13T19:44:46Z by SystemAdmin
Pinned topic How to enumerate all IIS in infeasibale CSP
Answered question This question has been answered.
Unanswered question This question has not been answered yet.
Updated on 2012-12-13T19:44:46Z at 2012-12-13T19:44:46Z by SystemAdmin
Re: How to enumerate all IIS in infeasibale CSP2012-12-13T19:44:46Z in response to SystemAdminThank you sir for your reply and your help.
I have two other questions:
1) Do not use preferences means that all the constraints are the same preference (different from (Hard constraint) and and from -1 (not considering the constraint))?
2) you just tell me that I am sure that the output of Conflict Refiner is irreducible (A property of IIS) if don't use preferences, and you say in your second response that i can use the conflict refiner with different preferences to drive it to find different IISs.
Re: How to enumerate all IIS in infeasibale CSP2012-12-13T14:47:00Z in response to SystemAdminI made a error, the output of this Conflict refiner does not necessarily IIS. In other words, there is not nécéssaiment the property of the irreducibility in the set incosistant on constraints returned by Conflcit Refiner "Black Box CPLEX (we have that informal descripitons for this function)"