1) Constraint programming 1) Considers the future 
[backtracking] In backtracking algorithms, look ahead is the generic term for a subprocedure that attempts to foresee the effects of choosing a branching variable to evaluate or one of its values. The two main aims of look-ahead are to choose a variable to evaluate next and the order of values to assign to it. ==Constraint satisfaction== In...