Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths.

Gianfranco Ciardo, Radu Siminiceanu

Browse the full FMCAD paper archive.