International SAT Competition 2009 Award DateJanuary 2009Organization International Conference on Theory and Applications of Satisfiability Testing …Award Recipient(s)Frank HutterHolger H. HoosKevin Leyton-BrownLin XuThree Gold Awards and two Silver Awards