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

A solution to SAT with virus machines with pre-computed resources

Orellana-Martín, David ; Zandron, Claudio; Leporati, Alberto

Tipo: Artículo
Año de Publicación: 2025
Número de artículo: 114077
Acceso abierto: Vía híbrida
Fuente Nº Citas Fecha Actualización
scopus118-10-2025
wos119-10-2025
Dimensions
PlumX
Altmetric

Año: 2024

Journal Impact Factor (JIF): 2.90

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSESCI44/147Q2T1D3

Año: 2024

Journal Citation Indicator (JCI): 0,680

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS57/147Q2T2D461,57

Año:

2024

CiteScore:

4,500

CategoríaPosiciónCuartilTercilDecil
Applied Mathematics115/665Q1T1D2
Computational Theory and Mathematics53/197Q2T1D3

SJR año:

2024

Factor de Impacto:

0,621

CategoríaPosiciónCuartilTercilDecil
Applied Mathematics219/648Q2T2D4
Computational Theory and Mathematics63/182Q2T2D4
No existen datos para la revista de esta publicación.
Agencia Código de Proyecto
Universidad de Sevilla/CBUA-
Nota: los datos sobre financiación provienen de la WOS
# Autor Afiliación
1Orellana-Martín, David Universidad de Sevilla (Spain)
2Zandron, ClaudioUniversity of Milano - Bicocca (Italy)
3Leporati, AlbertoUniversity of Milano - Bicocca (Italy)