The DPLL algorithm

Least constraining value

Most constrained value

What are correspondences between DPLL and in general CSPs?