Nikos Gorogiannis, Anthony Hunter, Vivek Patkar, Matthew Williams
Browse the full AIME paper archive.