An example showing that forward checking is different than arc-concistency look ahead. Initial settings: x1 is previously assigned and x2 is given a tentative value.
No machine-readable source provided. Own work assumed (based on copyright claims).
No machine-readable author provided. Tizio assumed (based on copyright claims).