Assertion: automotive navigation | /r/HasProperty | based on the shortest path problem
Facets:
value: within graph theory
type: OTHER
value: mathematically
type: MANNER
Source sentences:
text: Mathematically, automotive navigation is based on the shortest path problem, within graph theory, which examines how to identify the path that best meets some criteria (shortest, cheapest, fastest, etc.) between two points in a large network.