The community structure of SAT formulas
- Ansótegui, C.
- Giráldez-Cru, J.
- Levy, J.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642316111
Año de publicación: 2012
Volumen: 7317 LNCS
Páginas: 410-423
Tipo: Aportación congreso
ISSN: 0302-9743, 1611-3349
ISBN: 9783642316111
Año de publicación: 2012
Volumen: 7317 LNCS
Páginas: 410-423
Tipo: Aportación congreso