A Modularity-Based Random SAT Instances Generator | Publicación