Assertion: arc consistency | /r/HasProperty | equivalent
Facets:
value: to adding new constraint
type: PURPOSE
Source sentences:
text: When constraints are algebraic or Boolean, arc consistency is equivalent to adding new constraint or syntactically modifying an old one, and this can be done by suitably composing constraints.