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
scopus017-05-2025
Dimensions
PlumX
Altmetric

Año: 2023

Journal Impact Factor (JIF): 1.90

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, THEORY & METHODSESCI60/144Q2T2D5

Año: 2023

Journal Citation Indicator (JCI): 0,700

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, THEORY & METHODS54/144Q2T2D462,85

Año:

2023

CiteScore:

5,500

CategoríaPosiciónCuartilTercilDecil
Applied Mathematics80/635Q1T1D2
Computational Theory and Mathematics37/176Q1T1D3

SJR año:

2023

Factor de Impacto:

0,657

CategoríaPosiciónCuartilTercilDecil
Applied Mathematics211/615Q2T2D4
Computational Theory and Mathematics64/169Q2T2D4
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Orellana-Martín, DavidUniversidad de Sevilla (Spain)
2Zandron, ClaudioUniversity of Milano - Bicocca (Italy)
3Leporati, AlbertoUniversity of Milano - Bicocca (Italy)