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 _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
