Using real-valued solver for propogation purposes

From: Christopher Jefferson <caj_at_cs.york.ac.uk>
Date: Thu 23 Jan 2003 04:57:57 PM GMT
Message-Id: <4.3.2.7.0.20030123165234.00b48100@minster.cs.york.ac.uk> 
Hello,

I would like to use a real-valued linear constraint solver to perform 
bounds-tightening on the linear constraints in a CSP, rather than the (I 
believe) usual method of performing 'bounds consistency' on each of the 
linear constraints. The CSP will contain other constraints as well of 
course. I suspect that eclipse already contains some method of doing this 
but I have been unable to find it...

Thank you,

Chris
Received on Thu Jan 23 17:15:27 2003

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