International SAT Competition 2009 Award Date January 2009 Organization International Conference on Theory and Applications of Satisfiability Testing … Award Recipient(s) Frank Hutter Holger H. Hoos Kevin Leyton-Brown Lin Xu Three Gold Awards and two Silver Awards