Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. D. Achlioptas, Setting two variables at a time yields a new lower bound for random 3-SAT, 32th Annual ACM Symposium on the Theory of Computing, 2000.
2. D. Achlioptas, M. Kirousis, E. Kranakis, D. Krisanc, Rigorous results for (2+p)-SAT, this volume, see also Proc. RALCOM 97, Santorini, Greece, 1997, pp. 1–13.
3. D. Achlioptas, M. Molloy, personal communication, 1998.
4. A linear time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Inf. Process. Lett.,1979
5. Weighted sums of certain dependent random variables;Azuma;Tokuku Math. J.,1967
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献