# Arc consistency

### From Glossary

A consistency property in constraint programming used as a basis for inference. A variable is arc-consistent with another
variable if for every value in the domain of there exists
a value in the domain of such that the binary constraint
is satisfied. A binary constraint is arc-consistent if both of its variables are arc-consistent with respect to each other.

See also: