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