Can DDB Be Replaced by Chronological Backtracking?
Chronological backtracking (CB) refers to a general strategy for searching a solution space.
Whenever, during the solution process, the search can continue following several alternative paths (for example when several assumptions could be considered), a choice is made, and the search continues. If later an inconsistency is generated, the search b