TítuloGenerating SAT instances with community structure
Publication TypeJournal Article
Year of Publication2016
AuthorsGiráldez-Cru J, Levy J
JournalArtificial Intelligence
Volume238
Paginación119–134
ISSN0004-3702
URLhttp://dx.doi.org/10.1016/j.artint.2016.06.001
DOI10.1016/j.artint.2016.06.001