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
"NPHard Problem").
thanks
Topic

Re: How to enumerate all IIS in infeasibale CSP
20121213T08:52:36ZThis is the accepted answer. This is the accepted answer. SystemAdmin
 20121213T08:51:25Z
Hi
I need a function in CPLEX allows to list all the IISS in a linear CSP feasible, I'm sure this question is easy for one of you
Thank you CSP infeasible

Re: How to enumerate all IIS in infeasibale CSP
20121213T14:47:00ZThis is the accepted answer. This is the accepted answer.I 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)"
Thank you 
Re: How to enumerate all IIS in infeasibale CSP
20121213T15:35:30ZThis is the accepted answer. This is the accepted answer. SystemAdmin
 20121213T14:47:00Z
I 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)"
Thank you 
Re: How to enumerate all IIS in infeasibale CSP
20121213T15:36:29ZThis is the accepted answer. This is the accepted answer. SystemAdmin
 20121213T08:51:25Z
Hi
I need a function in CPLEX allows to list all the IISS in a linear CSP feasible, I'm sure this question is easy for one of you
Thank you
You could try to use the conflict refiner with different preferences to drive it to find different IISs. 
Re: How to enumerate all IIS in infeasibale CSP
20121213T19:44:46ZThis is the accepted answer. This is the accepted answer. SystemAdmin
 20121213T15:36:29Z
There is no function in CPLEX that enumerates all IISs.
You could try to use the conflict refiner with different preferences to drive it to find different IISs.
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.
Thank you.