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

The community structure of SAT formulas

Ansótegui, Carlos; Giráldez-Cru, Jesús; Levy, Jordi

Tipo: Ponencia
Año de Publicación: 2012
Volumen: 7317 LNCS
Páginas: 410 - 423
Fuente Nº Citas Fecha Actualización
scopus7228-06-2025
Dimensions
PlumX
Altmetric

Año:

2012

CiteScore:

1,400

CategoríaPosiciónCuartilTercilDecil
General Computer Science84/193Q2T2D5
Theoretical Computer Science83/118Q3T3D8

SJR año:

2012

Factor de Impacto:

0,346

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)89/262Q2T2D4
Theoretical Computer Science81/114Q3T3D8
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Ansótegui, CarlosUniversitat de Lleida (Spain)
2Giráldez-Cru, JesúsCSIC - Instituto de Investigacion en Inteligencia Artificial (IIIA) (Spain)
3Levy, JordiCSIC - Instituto de Investigacion en Inteligencia Artificial (IIIA) (Spain)