Which of the following steps are used in the DPLL algorithm?

If expression $F$ contains unit or pure literals, branch immediately on them.

Can apply MOM's heuristic to select a variable for branching

Can perform local search over complete truth assignment states

Choose a literal and test the expression by setting it both true or false separately.