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. In Dániel Marx, editor, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021. pages 42-53, SIAM, 2021. [doi]
Abstract is missing.