Ver Publicación - Prisma - Unidad de Bibliometría

Community Structure in Industrial SAT Instances

Ansótegui, Carlos ; Bonet, María Luisa; Giráldez Cru, JESÚS; Levy, Jordi; Simon, Laurent

Tipo: Artículo
Año de Publicación: 2019
Volumen: 66
Páginas: 443 - 472
Fuente Nº Citas Fecha Actualización
scopus2517-05-2025
wos1718-05-2025
Dimensions
PlumX
Altmetric

Año:

2019

CiteScore:

6,400

CategoríaPosiciónCuartilTercilDecil
Artificial Intelligence41/202Q1T1D3

SJR año:

2019

Factor de Impacto:

1,069

CategoríaPosiciónCuartilTercilDecil
Artificial Intelligence43/280Q1T1D2
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
EU H2020 Research and Innovation Programme under the LOGISTAR project769142; 769142
European Regional Development Funds (ERDF)-
H2020 Societal Challenges Programme769142; 769142
MICINN Juan de la Cierva fellowshipFJCI-2017-32420; FJCI-2017-32420
MINECO-FEDERTIN2015-71799-C2-1-P; TIN2016-76573-C2-2-P; TIN2015-71799-C2-1-P; TIN2016-76573-C2-2-P
Spanish Ministerio de Economia y Competitividad under the EXASOCO projectPGC2018-101216-B-I00; PGC2018-101216-B-I00
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Ansótegui, Carlos UdL (Spain)
2Bonet, María LuisaUniversitat Politècnica de Catalunya (Spain)
3Giráldez Cru, JESÚSUniversity of Granada Department of Computer Science and Artificial Intelligence (Spain)
4Levy, JordiArtificial Intelligence Research Institute (Spain)
5Simon, LaurentCentre National de la Recherche Scientifique (CNRS) (France)