It tries to maximize the constraints satisfied at each step of the assignment process.

It ensures that each variable's value has the maximum possible support among the remaining unassigned variables.

It aims to minimize the computational overhead by reducing the number of variables considered at each step.

To enforce global constraints across all variables to ensure overall solution feasibility.

It seeks to select values for variables that minimize the number of violations with constraints involving the variable.