[gecode-users] How does Gecode works ?

[Pedro Salgueiro]

Hi!

I just found this old post: 
http://www.ps.uni-sb.de/pipermail/gecode-users/2008-April/002142.html

                
                  Debdeep Banerjee wrote:
                
                > Hi,
                >  I am just wondering how gecode works. What I think is
                the following
                >
                > 1. We create the variables and domains
                > 2. Then we post constraints
                > 3. Then we define the branching
                > 4. We start searching. ( I am here referring to the
                DFS search)
                >       1. the search will do the propagation, if any
                inconsistency  
                > found
                > then fail immediately
                >       2. then branching will produce a variable-value
                pair through the
                > description() method
                >       3. then commit() will produce a binary branching
                >             a. variable = value , left
                >             b. variable != value. right
                >       4. the search will continue picking up the left
                branch and call
                > the propagation method, if failed, it will try the
                right branch.
                >
                > Is this correct ?
                
                Yes, that's the overall picture.
                
Is there any paper/publication that dsecribes more in depth how gecode works?

Kind regards,
Pedro Salgueiro