Game solving and proof search
5 methods in the atlas attack this one problem. They are rivals: each wins something the others do not.
Phrasings that mean this problem
Game solvingMemory-lean game solvingProof-oriented game searchAND-OR graph solving
game-search
- Proof-number searchProof-disproof node countsstandardgame-search
- PN2 searchNested proof-number layersspecialistgame-search
- Depth-first proof-number searchstandalonespecialistgame-search
graphs-paths
- B*Optimistic-pessimistic boundsspecialistgraphs-paths
- AO*Admissible subproblem estimatesspecialistgraphs-paths