Is there guaranteed to be a solution?
No, there might not be a solution. In this example, no values are removed from any of the variable domains during arc consistency, but there is no solution to the problem.
Consistency for CSP
SLS for CSP
Belief and Decision Networks
STRIPS to CSP