%0 Journal Article %A Giráldez-Cru, Jesús %A Levy, Jordi %D 2016 %J Artificial Intelligence %P 119-134 %T Generating SAT instances with community structure %V 238