[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:
http://rw4.cs.uni-sb.de/~theiling/publications.html
cu & thx
Christoph
--
-------------------------------------- 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