Using community structure to detect relevant learnt clauses
- Ansótegui, C.
- Giráldez-Cru, J.
- Levy, J.
- Simon, L.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319243177
Año de publicación: 2015
Volumen: 9340
Páginas: 238-254
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783319243177
Año de publicación: 2015
Volumen: 9340
Páginas: 238-254
Tipo: Aportación congreso