%0 Journal Article %1 journals/rsa/BlasiusFGLR23 %A Bläsius, Thomas %A Friedrich, Tobias %A Göbel, Andreas %A Levy, Jordi %A Rothenberger, Ralf %D 2023 %J Random Struct. Algorithms %K dblp %N 4 %P 885-941 %T The impact of heterogeneity and geometry on the proof complexity of random satisfiability. %U http://dblp.uni-trier.de/db/journals/rsa/rsa63.html#BlasiusFGLR23 %V 63

@article{journals/rsa/BlasiusFGLR23, added-at = {2024-01-15T00:00:00.000+0100}, author = {Bläsius, Thomas and Friedrich, Tobias and Göbel, Andreas and Levy, Jordi and Rothenberger, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/25eda032f096afda9f77bd0d27ffe19c7/dblp}, ee = {https://doi.org/10.1002/rsa.21168}, interhash = {ed5e727a3c62b92a2c62c4bdf15756e0}, intrahash = {5eda032f096afda9f77bd0d27ffe19c7}, journal = {Random Struct. Algorithms}, keywords = {dblp}, month = {December}, number = 4, pages = {885-941}, timestamp = {2024-04-09T05:08:34.000+0200}, title = {The impact of heterogeneity and geometry on the proof complexity of random satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/rsa/rsa63.html#BlasiusFGLR23}, volume = 63, year = 2023 }