Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.
Gianfranco CiardoRadu SiminiceanuPublished in: FMCAD (2002)
Keyphrases
- shortest path
- decision diagrams
- weighted graph
- multi valued
- binary decision diagrams
- shortest path algorithm
- edge weights
- road network
- markov decision processes
- efficient computation
- path length
- digital circuits
- strongly connected components
- finding the shortest path
- constraint satisfaction problems
- boolean functions
- planning problems