%0 Conference Paper %1 conf/soda/BlasiusFGLR21 %A Bläsius, Thomas %A Friedrich, Tobias %A Göbel, Andreas %A Levy, Jordi %A Rothenberger, Ralf %B SODA %D 2021 %E Marx, Dániel %I SIAM %K dblp %P 42-53 %T The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. %U http://dblp.uni-trier.de/db/conf/soda/soda2021.html#BlasiusFGLR21 %@ 978-1-61197-646-5

@inproceedings{conf/soda/BlasiusFGLR21, added-at = {2022-04-09T00:00:00.000+0200}, author = {Bläsius, Thomas and Friedrich, Tobias and Göbel, Andreas and Levy, Jordi and Rothenberger, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/237853720a44053f9f967b855ea207b25/dblp}, booktitle = {SODA}, crossref = {conf/soda/2021}, editor = {Marx, Dániel}, ee = {https://doi.org/10.1137/1.9781611976465.4}, interhash = {a97df6aeb054b0d9045b87a461a8a9c0}, intrahash = {37853720a44053f9f967b855ea207b25}, isbn = {978-1-61197-646-5}, keywords = {dblp}, pages = {42-53}, publisher = {SIAM}, timestamp = {2024-04-09T11:22:04.000+0200}, title = {The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/soda/soda2021.html#BlasiusFGLR21}, year = 2021 }