A hierarchical approach to computer Hex

Artificial Intelligence

Volumn 134, Issue 1-2, 2002, Pages 101-120

  Anshelevich, Vadim V ^a  

^a 1200 Navaho Trail ^*  (United States)

Author keywords

Game programming; Hex; Theorem proving

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAM LISTINGS; ITERATIVE METHODS; THEOREM PROVING; TREES (MATHEMATICS);

GAME PROGRAMMING;

GAME THEORY;

EID: 0036146051     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(01)00154-0     Document Type: Article

References (22)

1. The game of Hex: The hierarchical approach
2. The game of Hex: An automatic theorem proving approach to game programming
3. Hexy wins Hex tournament
4. Deep blue
5. A combinatorial problem which is complete in polynomial space
6. The game of Hex and the Brouwer fixed-point theorem
7. The SEX algorithm in computer chess
8. Decomposition search: A combinatorial games approach to game tree search, with applications to solving Go endgames
9. Hex ist PSPACE-vollständig
10. An overview of mechanical theorem proving
11. Chinook: The world man-machine checkers champion
12. Computers and automata
13. Are bees better than fruitflies? (Experiments with a Hex playing program)