Synthesizing parallel graph programs via automated planning
Introduction to Algorithms