TY  - RPRT
TI  - Community Structure in Industrial SAT Instances
AU  - Carlos Ansótegui
AU  - Maria Luisa Bonet
AU  - Jesús Giráldez-Cru
AU  - Jordi Levy
AU  - Laurent Simon
PY  - 2019
DO  - 10.1613/jair.1.11741
UR  - https://arxiv.org/abs/1606.03329
ID  - 1606.03329
ER  -