Assertion: problem's solution | /r/HasProperty | returned by differencing heuristic
Facets:
Source sentences:
text: There are also anytime algorithms, based on the differencing heuristic, that first find the solution returned by the differencing heuristic, then find progressively better solutions as time allows (possibly requiring exponential time to reach optimality, for the worst instances).