[gecode-users] Backjumping (aka Intelligent Backtracking)

[Luca Di Gaspero]

Hi all,

I am wondering wether it is currently* possible to implement some backjumping strategy on top of the gecode dfs/bab mechanism (possibly involving Restart Based engine). Any hint?

Thanks in advance for your answers.

Luca

* I read an ancient negative answer to this question in the ML, but now the gecode tools are more powerful