Which of the following methods for solving CSP can:

determine that there is no model, if there is not one

find a model if one exists

find all models?

The methods to consider are:

a$)$ arc consistency with domain splitting

b$)$ stochastic local search

d$)$ genetic algorithms.