TY  - RPRT
TI  - A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas
AU  - Cristopher Moore
AU  - Gabriel Istrate
AU  - Demetrios Demopoulos
AU  - Moshe Y. Vardi
PY  - 2005
UR  - https://arxiv.org/abs/math/0505032
ID  - math/0505032
ER  -