Proving Optimality

From: FAROUK AMINU <f.aminu_at_lancaster.ac.uk>
Date: Mon 23 Apr 2001 10:48:20 AM GMT
Message-ID: <Pine.GSO.4.21.0104231133330.25248-100000@unixa.lancs.ac.uk> 
Hi Everyone!

I had an experience in trying to solve an optimality problem. The program
takes long time to prove optimality(sometimes hours) though the optimum
(found using another solver)solution could be found(in ECLiPSe also) in a
second or two. Does anyone has an idea on how to reduce the search for
proving optimality in ECLiPSe?

What are the implications of using timeout on the quality of the optimum
solution(since I know it is the optimum using another method)?

Thanking you,

Farouk

===============================================================================
UMARU FAROUK AMINU
DEPARTMENT OF MANAGEMENT SCIENCE
LANCASTER UNIVERSITY
LANCASTER
LA1 4YX
U.K.

+44 (0)1524 593865 (School)
+44 (0)1524 383619 (Home)
+44 (0)1524 844885 (Fax)
Received on Mon Apr 23 11:48:41 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:08 PM GMT GMT