Assertion list for term "run in linear time".
Results from Ascent++: 1
algorithm → CapableOf → run in linear time 0.38