Assertion: algorithm | /r/HasProperty | employed as introsort
Facets:
value: based on quicksort
type: OTHER
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).