Assertion: path consistency | /r/HasProperty | enforced
Facets:
Source sentences:
text: Indeed, path consistency can be enforced by removing from a binary constraint all evaluations that cannot be extended to another variable.
text: They process variables from x n {\displaystyle x_{n}} to x 1 {\displaystyle x_{1}} ; for every variable x z {\displaystyle x_{z}} two variables x i , x j {\displaystyle x_{i},x_{j}} with i , j < z {\displaystyle i,j<z} are considered, and path consistency of them with x z {\displaystyle x_{z}} is enforced.