On 20 Jun 2011, at 12:04, Max Ostrowski wrote: > I think there was once a work implementing learning in Gecode, i will contact > the author to find out what he did. (But i suppose that he extended Gecode or > did wrote own propagators, which i want to avoid).
Raphael Reischuk and I worked on SAT-style conflict clause learning in Gecode for Raphael's Bachelor thesis: http://www.infsec.cs.uni-saarland.de/~reischuk/publications/pdfs/Reischuk08-Reconciling.pdf But this involved quite some modifications of the Gecode kernel. Cheers, Guido -- Guido Tack, http://people.cs.kuleuven.be/~guido.tack/ _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
