The interface between P and NP in signed CNF formulas
- Ansótegui, C.
- Béjar, R.
- Cabiscol, A.
- Manyà, F.
Actas:
Proceedings of The International Symposium on Multiple-Valued Logic
ISSN: 0195-623X
Año de publicación: 2004
Páginas: 251-256
Tipo: Aportación congreso