# Path consistency

### From Glossary

A consistency property that is similar to arc consistency but that
considers pairs of variables instead of just one. A pair of variables is path-consistent with another variable if for every consistent
value pair for the binary constraint on
and there exists a value for
such that all binary constraints between and
are satisfied.