Iterative DFS with stack-based graph traversal