users-prolog
[Top][All Lists]
Advanced

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

Re: Global Stack Overflow


From: Gerald W. Shapiro
Subject: Re: Global Stack Overflow
Date: Tue, 17 Jul 2001 15:43:50 -0400 (EDT)

I would list the constraints vefore the fd_labeling.

As it stands now, you are doing a generate and test approach. Post the
constraints first, let the excellent fd-solver reduce the domains, and
then apply fd_labeling to see all solutions.

Also, using the #op# form of the relations may result in more propogation
by fd-solver.

gws





reply via email to

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