New logical and complexity results for signed-SAT
- Ansótegui, C.
- Manyà, F.
Actas:
Proceedings of The International Symposium on Multiple-Valued Logic
ISSN: 0195-623X
Año de publicación: 2003
Páginas: 181-187
Tipo: Aportación congreso