Assertion: maximum clique | /r/HasProperty | np-complete
Facets:
Source sentences:
text: I removed the proof that maximum clique is NP-complete and replaced it by an appeal to the NP-completeness of independent set.