Searching for "Proof-Set Search." – sorted by Relevance.
-
Proof-Set Search
- Proof-Set Search by Martin M uller Technical Report TR 01-09 May 2001 DEPARTMENT OF COMPUTING
- Cited by 2 (1 self) – Add To MetaCart
-
Symbolic Exploration in Two-Player Games: Preliminary Results
- only memory linear to the depth of the tree. Proof-Set Search is a recent improvement to PNS
- Cited by 3 (0 self) – Add To MetaCart

