Cristopher Moore, Gabriel Istrate, Demetrios D. Demopoulos, Moshe Y. Vardi. A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas. In Chandra Chekuri, Klaus Jansen, José D. P. Rolim, Luca Trevisan, editors, Approximation, Randomization and Combinatorial Optimization, Algorithms and Techniques, 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th InternationalWorkshop on Randomization and Computat. Volume 3624 of Lecture Notes in Computer Science, pages 414-425, Springer, 2005. [doi]
Abstract is missing.