2 ms·Super Mario Bros. Is Easy with Lexicographic Orderings and Time Travel (2013) [pdf]1 points by miobrien 8y ago