Exercises 34.4-6

Set one variable to true and then check the satisfiability. If the remind formula is unsatisfiable, then this variable must be set to false. We can set one variable’s truth in one iteration. Repeat |V| iterations.