Synthesizing parallel graph programs via automated planning.
Dimitrios PrountzosRoman ManevichKeshav PingaliPublished in: PLDI (2015)
Keyphrases
- automated planning
- heuristic search
- goal directed
- depth first search
- planning systems
- graph structure
- planning domains
- interactive storytelling
- weighted graph
- ai planning
- graph partitioning
- graph model
- web service composition
- path finding
- petri net
- heuristic search algorithms
- shortest path
- data structure
- information retrieval