Reducción del problema 3-SAT a Super Mario Bros., clase Design and Analysis of Algorithms, Primavera 2015, por el Profesor Erik Demaine, Massachusetts Institute of Technology (Artículo hablando de la NP-completitud de este juego y otros clásicos de Nintendo disponible en arXiv)