Keyphrases
- parallel search
- computer chess
- theorem proving
- evaluation function
- brute force
- computer programs
- game playing
- test cases
- game tree search
- program execution
- artificial intelligence
- programming environment
- programming course
- case study
- theorem prover
- database
- learning algorithm
- genetic algorithm
- static analysis
- game tree
- data sets
- real time