TY - JOUR AU - Giráldez-Cru, Jesús AU - Levy, Jordi JA - Artificial Intelligence PY - 2016 TI - Generating SAT instances with community structure VL - 238 ER -