Generating SAT instances with community structure

  1. Giráldez-Cru, J.
  2. Levy, J.
Revista:
Artificial Intelligence

ISSN: 0004-3702

Año de publicación: 2016

Volumen: 238

Páginas: 119-134

Tipo: Artículo

DOI: 10.1016/J.ARTINT.2016.06.001 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus