Re: [eclipse-clp-users] Teorethical Question

From: Kish Shen <kisshen_at_cisco.com>
Date: Wed, 18 May 2011 14:48:23 +0100
Hi,

eplex has support for getting IIS (if the external solver supports it) 
since ECLiPSe 6.0 (it was mentioned in the release notes) -- 
eplex/lp_get_iis will get the IIS from an infeasible problem.

Cheers,

Kish

On 18/05/2011 11:01, Thorsten Winterer wrote:
> Hi,
>
> from a practical point, CPLEX offers an option to find a set of
> "Irreducibly Inconsistent Constraints". I'm not sure whether it's
> possible to extract that information from CPLEX via eplex, but I would
> be interested in such an option. (Kish: how hard would it be to extend
> the eplex/CPLEX interface?)
>
> One paper I found through Google on IIS is this:
> http://www.sce.carleton.ca/faculty/chinneck/docs/GuieuChinneck.pdf
> And here is a tutorial that was presented at CPAIOR 2007:
> http://www.sce.carleton.ca/faculty/chinneck/docs/CPAIOR07InfeasibilityTutorial.pdf
>
> Maybe this helps as a starting point.
>
> Cheers,
> Thorsten
>
>
> On 18.05.2011 09:36, Bogdan Tanasa wrote:
>>
>> Hi,
>>
>> I am dealing with a number of linear constraints (linear inequalities)
>> and I am curious if exists some theoretical results regarding the
>> minimum number of constraints which can be violated having as an input
>> the inequalities and the domains of the variables.
>>
>> From what I read on the Internet I found articles like this:
>> http://www.springerlink.com/content/fr0c10gxnbm0ql93/
>>
>> Do you know similar work for the particular case when the constraints
>> are a linear combinations of variables?
>>
>> Thank you,
>>
>> Bogdan.
>>
>>
>> ------------------------------------------------------------------------------
>>
>> What Every C/C++ and Fortran developer Should Know!
>> Read this article and learn how Intel has extended the reach of its
>> next-generation tools to help Windows* and Linux* C/C++ and Fortran
>> developers boost performance applications - including clusters.
>> http://p.sf.net/sfu/intel-dev2devmay
>>
>>
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECLiPSe-CLP-Users_at_lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>
>
>
> ------------------------------------------------------------------------------
> What Every C/C++ and Fortran developer Should Know!
> Read this article and learn how Intel has extended the reach of its
> next-generation tools to help Windows* and Linux* C/C++ and Fortran
> developers boost performance applications - including clusters.
> http://p.sf.net/sfu/intel-dev2devmay
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Wed May 18 2011 - 13:48:33 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET