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

Formal verification of a generic framework to synthesize SAT-provers

Martin-Mateos, FJ ; Alonso, JA; Hidalgo, MJ; Ruiz-Reina, JL

Tipo: Artículo
Año de Publicación: 2004
Volumen: 32
Número: 4
Páginas: 287 - 313
Acceso abierto: Vía verde
Fuente Nº Citas Fecha Actualización
wos813-11-2024
Dimensions
PlumX
Altmetric

Año: 2004

Journal Impact Factor (JIF): 0.5890

CategoríaEdiciónPosiciónCuartilTercilDecil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCESCIE49/78Q3T2D7

Año: 2017

Journal Citation Indicator (JCI): 0,730

CategoríaPosiciónCuartilTercilDecilPercentil
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE75/170Q2T2D556,18

Año:

2011

CiteScore:

4,500

CategoríaPosiciónCuartilTercilDecil
Computational Theory and Mathematics13/97Q1T1D2
Software68/357Q1T1D2
Artificial Intelligence33/141Q1T1D3

SJR año:

2004

Factor de Impacto:

0,405

CategoríaPosiciónCuartilTercilDecil
Artificial Intelligence50/100Q2T2D5
Software119/252Q2T2D5
Computational Theory and Mathematics56/75Q3T3D8
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación