Boufkhad, Yacine
- Typical random 3-SAT formulae and the satisfiability threshold
2002/11/26 by Olivier Dubois, Dubois, Olivier, Yacine Boufkhad +3 · 5 citations
Computer Science · #Advanced Algebra and Logic #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #G.2.1 #Rough Sets and Fuzzy Logic #cs.CC #cs.DM