AC-3: remove values from domains until arc consistency. Each arc (Xi→Xj) checks that every value in Di has a support in Dj.