317 citations · 381 across the 14 of their papers we have counts for
1 paper · 2 filters
Erik D. Demaine, Joshua Lockhart, Jayson Lynch
We classify the computational complexity of the popular video games Portal and Portal 2. We isolate individual mechanics of the game and prove NP-hardness, PSPACE-completeness, or…