Heidi Gebauer
- The Local Lemma is asymptotically tight for SAT
2010/06/03 by Heidi Gebauer, Gebauer, Heidi, Tibor Szabó +3 · 2 citations
Computer Science · #Advanced Graph Theory Research #Combinatorics (math.CO) #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #G.2.1