Pushing Blocks via Checkable Gadgets: PSPACE-Completeness of Push-1F and Block/Box Dude.

Joshua Ani, Lily Chung, Erik D. Demaine, Jenny Diomidova, Dylan H. Hendrickson, Jayson Lynch

Browse the full FUN paper archive.