Exploiting Many-Valued Variables in MaxSAT
- Argelich, J.
- Li, C.M.
- Manyà, F.
ISSN: 0195-623X
ISBN: 9781509054954
Año de publicación: 2017
Páginas: 155-160
Tipo: Aportación congreso
Actas:
Proceedings of The International Symposium on Multiple-Valued Logic