Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleA continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas.AuthorsMoore, Cristopher; Istrate, Gabriel; Demopoulos, Demetrios; Vardi, Moshe Y.PublicationRandom Structures & Algorithms, 2007, Vol 31, Issue 2, p173ISSN1042-9832Publication typeArticleDOI10.1002/rsa.20176