On solving MaxSAT through SAT
- Ansótegui, C.
- Bonet, M.L.
- Levy, J.
ISSN: 0922-6389
ISBN: 9781607500612
Año de publicación: 2009
Volumen: 202
Número: 1
Páginas: 284-292
Tipo: Aportación congreso
Colección de libros:
Frontiers in Artificial Intelligence and Applications