Andreas Goerdt, André Lanka. On the Hardness and Easiness of Random 4-SAT Formulas. In Rudolf Fleischer, Gerhard Trippen, editors, Algorithms and Computation, 15th International Symposium, ISAAC 2004, HongKong, China, December 20-22, 2004, Proceedings. Volume 3341 of Lecture Notes in Computer Science, pages 470-483, Springer, 2004. [doi]
Abstract is missing.