TY  - RPRT
TI  - The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability
AU  - Thomas Bläsius
AU  - Tobias Friedrich
AU  - Andreas Göbel
AU  - Jordi Levy
AU  - Ralf Rothenberger
PY  - 2021
UR  - https://arxiv.org/abs/2004.07319
ID  - 2004.07319
ER  -