Assertion: problem's solution | /r/HasProperty | path
Facets:
Source sentences:
text: non-negative edge weights A* is guaranteed to terminate and is complete, i.e. it will always find a solution (a path from start to goal) if one exists.