Community structure in industrial SAT instances
- Ansótegui, C.
- Bonet, M.L.
- Giráldez-Cru, J.
- Levy, J.
- Simon, L.
Revista:
Journal of Artificial Intelligence Research
ISSN: 1076-9757
Año de publicación: 2019
Volumen: 66
Páginas: 443-472
Tipo: Artículo