A problem solving technique that AI uses for limiting search in programs.