Assertion: incomplete algorithm | /r/CapableOf | verify solution
Facets:
value: efficiently
type: MANNER
Source sentences:
text: Whereas incomplete algorithms can efficiently verify solutions (once a candidate is found), they cannot prove that a solution does not exist.