Publisher
Springer International Publishing
Reference32 articles.
1. Lecture Notes in Computer Science;D. Achlioptas,1997
2. Alekhnovich, M., Ben-Sasson, E.: Linear Upper Bounds for Random Walk on Small Density Random 3-cnfs. SIAM J. Comput. 36(5), 1248–1263 (2006)
3. Lecture Notes in Artificial Intelligence;É. Alphonse,2008
4. Broder, A.Z., Frieze, A.M., Upfal, E.: On the Satisfiability and Maximum Satisfiability of Random 3-CNF Formulas. In: Proc of SODA, pp. 322–330 (1993)
5. Chao, M., Franco, J.: Probabilistic Analysis of Two Heuristics for the 3-Satisfiability Problem. SIAM J. Comput. 15(4), 1106–1118 (1986)