MinSAT versus MaxSAT for optimization problems
- Argelich, J.
- Li, C.-M.
- Manyà, F.
- Zhu, Z.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642406263
Año de publicación: 2013
Volumen: 8124 LNCS
Páginas: 133-142
Tipo: Aportación congreso
ISSN: 0302-9743, 1611-3349
ISBN: 9783642406263
Año de publicación: 2013
Volumen: 8124 LNCS
Páginas: 133-142
Tipo: Aportación congreso