@misc{indiciae1cf35eb762a6, title = {Pentago is a First Player Win: Strongly Solving a Game Using Parallel In-Core Retrograde Analysis}, author = {Geoffrey Irving}, year = {2014}, url = {https://arxiv.org/abs/1404.0743}, note = {Source identifier: 1404.0743} }