[gecode-users] Branching subclass
Guido Tack
tack at ps.uni-sb.de
Thu Jan 11 23:51:12 CET 2007
Hi.
> It would be very helpful to have a most trivial example -
> maybe a re-implementation of one of the ViewValBranchings? :)
>
> I would be grateful for any additional pointers. Should I look
> into Gecode/J maybe to find further examples?
You could have a look at the file QueensJavaPropagator.java
http://www.gecode.org/gecodej/doc/QueensJavaPropagator_8java-source.html
It implements a naive branching, should be fairly easy to understand.
The difference to a C++ branching is not too big.
> Also a pointer into to the literature that talks about batch
> recomputation
> would be great, since I /think/ this is not really explained in any
> of http://www.gecode.org/publications.html?
That would be
Components for State Restoration in Tree Search by Chiu Wo Choi,
Martin Henz, and Ka Boon Ng, CP 2001. This is the paper that
introduced the concept, so don't expect the Gecode implementation to
follow it 1:1.
Cheers,
Guido
--
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20070111/2c9948bf/attachment.htm>
More information about the gecode-users
mailing list