I am extending aima csp solver in my project.I have read the AIMA book and the book says Backjumping algorithm can be implemented by with a little modification of Backtracking algorithm.But,I don't see.

Is it true that all known inference methods (forward-checking and MAC) can supply the conflict-directed backjumping with no extra work?

If so,one does not have to do anything,if he has backtracking and forward checking algorithm to build backjumping algorithm.

So,I feel the gap with concept.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.