Recent news about SAT for tag Distinction

• Feb 8, 2015  Outstanding Thesis Award for Boolean Satisfiability by Daniel Le Berre Distinction 

  Kuldeep Singh Meel, a doctoral student in computer science at Rice University, has won the 2014 Outstanding Master Thesis Award presented by the Vienna Center for Logic and Algorithms for his thesis titled “Sampling Techniques for Boolean Satisfiability.”