Block Dude Puzzles are NP-Hard (and the Rugs Really Tie the Reductions Together). - Austin Barr; Calvin Chung; Aaron Williams 001 (CCCG, 2021)