Near the end they use databases of solved positions. In the opening they use databases of recommended moves. For the rest they have fairly blunt evaluations of positions. More sophisticated than the basic points but not hugely so. They think by considering the value of reachable positions from the one in front of them by an extended minimax — extended over a series of sequential plays.