I think it would be most accurate to say its a backtracking algorithm, since you presumably would be exploring a certain path continually until it becomes unsat

I think it would be most accurate to say its a backtracking algorithm, since you presumably would be exploring a certain path continually until it becomes unsatisfactory.