5 citations · 19 across the 20 of their papers we have counts for
Showing 2008 · cs.DMShow all
2 papers · 2 filters
cs.DM2008★ 2 cited
A new upper bound for 3-SAT
J. Diaz, L. Kirousis, D. Mitsche +1
We show that a randomly chosen 3-CNF formula over n variables with clauses-to-variables ratio at least 4.4898 is, as n grows large, asymptotically almost surely unsatisfiable. The…
cs.DM2008
On the Probability of the Existence of Fixed-Size Components in Random Geometric Graphs
J. Diaz, D. Mitsche, X. Perez
In this work we give precise asymptotic expressions on the probability of the existence of fixed-size components at the threshold of connectivity for random geometric graphs.