Assertion: arc consistency | /r/HasProperty | defined
Facets:
value: relative to a specific binary constraint
type: OTHER
Source sentences:
text: Arc consistency can also be defined relative to a specific binary constraint: a binary constraint is arc-consistent if every value of one variable has a value of the second variable such that they satisfy the constraint.