Which of the following techniques for solving constraint satisfaction problems (CSPs) can always determine that there is no solution when, in fact, there is none.1) Arc Consistency with Domain Splitting2) Stochastic Beam Search3) Stochastic Local Search4) Genetic Algorithms