Mathematics
Applied mathematics
Proof-number search
Algorithm
Transposition table
Solver
Computer chess
Game artificial intelligence
Search algorithms
Artificial intelligence