Thomas Bläsius, Tobias Friedrich 0001, Andreas Göbel 0001, Jordi Levy, Ralf Rothenberger. The impact of heterogeneity and geometry on the proof complexity of random satisfiability. Random Struct. Algorithms, 63(4):885-941, December 2023. [doi]
Abstract is missing.