This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Backtrackingarcconsistency.svg An example of constraint satisfaction problem where choosing the value of the first variable leads to inconsistency even if the problem itself is arc consistent Constraint satisfaction own assumed Tizio Backtracking