Correct Answer : Option (B) : Depth-first search algorithm
Explanation : It is depth-first search algorithm because its space requirements are linear in the size of the proof.