Re: [eclipse-clp-users] Delayed goals at end of search

From: Wit Jakuczun <wit.jakuczun_at_...6...>
Date: Fri, 23 Apr 2010 20:44:53 +0200
W dniu 2010-04-23 20:36, Afonso Henrique Sampaio pisze:
> Hi,
> if I set up a search method with random variable selection(ie. 
> computing the Value criterion for each variable as random(Value)) and 
> indomain_random value selection, is it possible that at the end of the 
> search I still have delayed goals?
> I've got a model that with labeling, or with other search methods as 
> first_fail,.., the search finishes with a complete solution, but with 
> that randomized approach I got some delayed goals at end, but I 
> couldn't realize clearly this behaviour.
   this is possible. I had such effect and the cause lied in a bug in 
global constraint or in a labeling predicate (my own).

Best regards

[ Wit Jakuczun ]
Received on Fri Apr 23 2010 - 18:45:06 CEST

This archive was generated by hypermail 2.3.0 : Sun Aug 18 2019 - 18:14:53 CEST