[gecode-users] Watching Propagators

[Guido Tack]

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/