Synthesis of Chess and Chess-like Endgames: A Proof of Correctness.

Published in: J. Int. Comput. Games Assoc. (2001)

Keyphrases

evaluation function
computer chess
artificial intelligence
minimax search
game tree
board game
imperfect information
game tree search
real time
game playing
alpha beta search
program synthesis
linear logic
brute force
inference rules
neural network
databases