Constraint Programming, Backtracking, binary search, AI