Conflict-Directed Backjumping Revisited