Which of the following methods can

(a) determine that there is no model, if there is not one

(b) find a model if one exists

(c) find all models?

The methods to consider are

(i) arc consistency with domain splitting

(ii) variable elimination

(iii) stochastic local search

(iv) genetic algorithms.