proof number search
wiki
survey
minimax search
alphabeta pruning