@article{DBLP:journals/jair/AnsoteguiBGLS19, author = {Carlos Ansótegui and Maria Luisa Bonet and Jesús Giráldez-Cru and Jordi Levy and Laurent Simon}, title = {Community Structure in Industrial SAT Instances}, journal = {J. Artif. Intell. Res.}, volume = {66}, pages = {443--472}, year = {2019}, url = {https://doi.org/10.1613/jair.1.11741}, doi = {10.1613/jair.1.11741} }