Random 3-SAT: The Plot Thickens. - Cristian Coarfa; Demetrios D. Demopoulos; Alfonso San Miguel Aguirre; Devika Subramanian; Moshe Y. Vardi (Constraints An Int. J., 2003)

The Phase Transition in the Random HornSAT Problem. - Demetrios D. Demopoulos; Moshe Y. Vardi (Computational Complexity and Statistical Physics, 2006)

A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas. - Cristopher Moore; Gabriel Istrate; Demetrios D. Demopoulos; Moshe Y. Vardi (Random Struct. Algorithms, 2007)