Assume that you post a Constraint Satisfaction problem (CSP) for which multiple solutions (a.k.a., "multiple models") exist. Which of the following methods can be used to find all the models that exist. Select all that apply.

1)	Generate-and-test

2)	Search with backtracking

3)	Arc consistency (without domain splitting)

4)	Variable elimination