Duplicate Avoidance in Depth-First Search with Applications to Treewidth

Open in new window