[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-glpk] Difference, 32bit build - 64bit build

From: Christoph Cullmann
Subject: Re: [Bug-glpk] Difference, 32bit build - 64bit build
Date: Wed, 24 Sep 2008 22:02:11 +0200
User-agent: KMail/1.10.1 (Linux/2.6.27-2-generic; KDE/4.1.1; x86_64; ; )

On Wednesday 24 September 2008 21:55:55 Andrew Makhorin wrote:
> The error looks the same as described in the article:
> A. Neumaier and O. Shcherbina, Safe bounds in linear and mixed-integer
> programming, Math. Programming A 99 (2004), 283-296
> www.mat.univie.ac.at/~neum/ms/mip.ps.gz
> when a problem found primal infeasible becomes primal feasible after
> tightening bounds of variables.
Oh, thank you :)

Interesting, will forward that paper, too, to our developer who generates the 
ILPs. We use ILPs for program path analysis. The problem I have send to you 
was such an output of the path analysis. The ILP is used to determine the 
longest path.

More information about this is available here, if you have any interest:

cu & thx

-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH      Email: address@hidden
Science Park 1                         Tel:   +49-681-38360-22
66123 Saarbrücken                      Fax:   +49-681-38360-20
GERMANY                                WWW:   http://www.AbsInt.com
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234

reply via email to

[Prev in Thread] Current Thread [Next in Thread]