Search
Now showing items 1-1 of 1
Exhaustive search and hardness proofs for games
(Massachusetts Institute of Technology, 2020)
This thesis explores several games from two perspectives: exhaustive search and hardness proofs. First, we present an exhaustive search for hardness proofs: a system for finding motion planning simulations. Second, we prove ...