@inproceedings{DBLP:conf/soda/BlasiusFGLR21, author = {Thomas Bläsius and Tobias Friedrich and Andreas Göbel and Jordi Levy and Ralf Rothenberger}, editor = {Dániel Marx}, title = {The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability}, booktitle = {Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021}, pages = {42--53}, publisher = {SIAM}, year = {2021}, url = {https://doi.org/10.1137/1.9781611976465.4}, doi = {10.1137/1.9781611976465.4} }