# Forward checking

### From Glossary

Forward checking is a propagation procedure that guarantees that at each step of the search, all the constraints between already assigned variables and not yet assigned variables are arc consistent.

Formally, let be a binary constraint network and such that for all . is forward checking consistent according to the instantiation on iff is locally consistent and for all , for all , for all , is arc consistent.