A Parallel Approach to Symbolic Traversal Based on Set Partitioning