Carla P. Gomes, Bart Selman, and Henry Kautz's paper "Boosting Combinatorial Search through Randomization" co-won the 2016 Classic Paper Award, receiving this honor for being one of the two the most influential paper(s) from AAAI 1998. The citation reads, "For significant contributions to the area of automated reasoning and constraint solving through the introduction of randomization and restarts into complete solvers."

http://www.aaai.org/Awards/classic.php