Exercise 4.6 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) guarantee to find all models?

The methods to consider are i) arc consistency with domain splitting.

ii) variable elimination.

iii) stochastic local search.

iv) genetic algorithms.