Algorithmically there's nothing wrong with using BFS/DFS to do reasoning as long as the logic is correct and the search space is constrained sufficiently. The hard part has always been doing the constraining, which LLMs seem to be rather good at.

> This is not the point though

could you expand what is the point? That authors opinion without much justification is that this is not reasoning?