Giráldez-Cru and Levy. "Locality in Random SAT Instances." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/89
Markdown
[Giráldez-Cru and Levy. "Locality in Random SAT Instances." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/giraldezcru2017ijcai-locality/) doi:10.24963/IJCAI.2017/89
BibTeX
@inproceedings{giraldezcru2017ijcai-locality,
title = {{Locality in Random SAT Instances}},
author = {Giráldez-Cru, Jesús and Levy, Jordi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {638-644},
doi = {10.24963/IJCAI.2017/89},
url = {https://mlanthology.org/ijcai/2017/giraldezcru2017ijcai-locality/}
}