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

ABT with Clause Learning for Distributed SAT

Giráldez-Cru, J; Meseguer, P 

Tipo: Ponencia
Año de Publicación: 2016
Volumen: 9868
Páginas: 183 - 193
Fuente Nº Citas Fecha Actualización
scopus017-05-2025
wos018-05-2025
Dimensions
PlumX
Altmetric

Año:

2016

CiteScore:

1,600

CategoríaPosiciónCuartilTercilDecil
General Computer Science79/197Q2T2D5
Theoretical Computer Science79/118Q3T3D7

SJR año:

2016

Factor de Impacto:

0,339

CategoríaPosiciónCuartilTercilDecil
Computer Science (miscellaneous)81/294Q2T1D3
Theoretical Computer Science78/122Q3T2D7
No existen datos para la revista de esta publicación.
No exiten datos para esta publicación
# Autor Afiliación
1Giráldez-Cru, JAutonomous University of Barcelona (Spain)
2Meseguer, P Autonomous University of Barcelona (Spain)
# Editor literario Afiliación
3Luaces, OSin datos ()
4Gamez, JASin datos ()
5Barrenechea, ESin datos ()
6Troncoso, ASin datos ()
7Galar, MSin datos ()
8Quintian, HSin datos ()
9Corchado, ESin datos ()