Merkliste 
 1 Ergebnisse 
 
1

A spectral technique for random satisfiable 3CNF formulas:

, In: Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms,
Flaxman, Abraham - p. 357-363 , 2003