What are the possible outcomes of the arc consistency algorithm?
At least one domain could be empty, in which case there is no solution. Each domain could have a single value, in which case there is a unique solution. Or some domains could have multiple values.
Consistency for CSP
SLS for CSP
Belief and Decision Networks
STRIPS to CSP