Malcolm, we have been working on this kind of decomposition, you can find a preliminary technical report at http://arxiv.org/abs/0712.2389
The resulting system needs some extensions to Gecode, so it is currently not available in Gecode directly. Cheers, Guido Malcolm Ryan wrote: > At a certain stage in my search the problem can be split into several > independent sub-problems. If I try to solve them sequentially, then a > failure in one of the later ones will cause fruitless backtracking in > the earlier ones (when it really needs to jump all the way back to the > first phase of the search). Does Gecode provide any kind of mechanism > for handling this situation? > > Thanks, > > Malcolm > > _______________________________________________ > Gecode users mailing list > [EMAIL PROTECTED] > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users