Assertion: algorithm | /r/HasProperty | employed as timsort
Facets:
value: often
type: TEMPORAL
Source sentences:
text: Thus more sophisticated algorithms are often employed, such as Timsort (based on merge sort) or introsort (based on quicksort, falling back to heap sort).