@inproceedings{ijcai2017p89, author = {Jesús Giráldez-Cru and Jordi Levy}, title = {Locality in Random SAT Instances}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {638--644}, year = {2017}, doi = {10.24963/ijcai.2017/89}, url = {https://doi.org/10.24963/ijcai.2017/89}, }