Proof-Number Search and Transpositions

@article{Schijf1994ProofNumberSA,
  title={Proof-Number Search and Transpositions},
  author={Martin Schijf and L. V. Allis and J. W. Uiterwijk},
  journal={J. Int. Comput. Games Assoc.},
  year={1994},
  volume={17},
  pages={63-74}
}
20 Citations
A solution to the GHI problem for depth-first proof-number search
  • 14
  • Highly Influenced
  • PDF
Developments on Product Propagation
  • 6
  • Highly Influenced
  • PDF
Solving Games and All That
  • 9
  • Highly Influenced
A Solution to the GHI Problem for Best-First Search
  • 14
On Computation Complexity of True Proof Number Search
  • C. Gao
  • Computer Science
  • ArXiv
  • 2021
  • PDF
Game-Tree Search Using Proof Numbers: The First Twenty Years
  • 32
  • PDF
Minimal Proof Search for Modal Logic K Model Checking
  • 4
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 14 REFERENCES
Qubic Solved Again
  • Heuristic Programming in Arti cial
  • 1992
A Knowledge-Based Ap
  • 1990
Proof-Number Search
  • 192
Searching for solutions in games and artificial intelligence
  • 397
Applying Retrograde Analysis to Nine Men's Morris
  • 14
  • PDF
Conspiracy Numbers for Min-Max Search
  • 161
Chess Curiosities
  • George Allen and Unwin, Ltd, London. (45)
  • 1985
Chess Skill in Man and Machine
  • 113
An Analysis of Alpha-Beta Pruning
  • 971
...
1
2
...