The impact of heterogeneity and geometry on the proof complexity of random satisfiability | Publicación