In Applying Arc-Consistency (AC3) algorithms on one Constraint Satisfaction Problem, if the domain of one variable is empty, what is the next step?
2) do backtrack.
3) start from another initial state.
4) it depends on that we are in which step.
Solution (4). I think (1) is true because it means we cannot find any consistent assignment and halt. anyone can describe why (4) is true?