most citedOn the Bias of Traceroute Sampling; or, Power-law Degree Distributions in Regular Graphs

35 citations · 103 across the 9 of their papers we have counts for

collaborators
Showing math.PRShow all

1 paper · 1 filter

math.PR2005

A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas

Cristopher Moore, Gabriel Istrate, Demetrios Demopoulos +1

We compute the probability of satisfiability of a class of random Horn-SAT formulae, motivated by a connection with the nonemptiness problem of finite tree automata. In particular,…