Assertion: algorithm | /r/CapableOf | keep a collection of arcs
Facets:
Source sentences:
text: The algorithm keeps a collection of arcs that are yet to be checked; when the domain of a variable has any values removed, all the arcs of constraints pointing to that pruned variable (except the arc of the current constraint) are added to the collection.