A new encoding from MinSAT into MaxSAT
- Zhu, Z.
- Li, C.-M.
- Manyà, F.
- Argelich, J.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642335570
Año de publicación: 2012
Volumen: 7514 LNCS
Páginas: 455-463
Tipo: Aportación congreso
ISSN: 0302-9743, 1611-3349
ISBN: 9783642335570
Año de publicación: 2012
Volumen: 7514 LNCS
Páginas: 455-463
Tipo: Aportación congreso