Assertion: clique's size | /r/HasProperty | stored at the root node
Facets:
Source sentences:
text: The size of the maximum independent set is the largest value stored at the root node, and the maximum independent set itself can be found (as is standard in dynamic programming algorithms) by backtracking through these stored values starting from this largest value.