Hi, I want to know if the DFS search implements any intelligent backtracking methods (for example backjumping, conflict directed backjumping etc).
Thanking you. With regards Debdeep -- Debdeep Banerjee PhD Candidate CSL/RSISE/NICTA Australian National University Email: [EMAIL PROTECTED] Web:http://rsise.anu.edu.au/~banerjed _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
