The interface between P and NP in signed CNF formulas

  1. Ansótegui, C.
  2. Béjar, R.
  3. Cabiscol, A.
  4. 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

DOI: 10.1109/ISMVL.2004.1319950 GOOGLE SCHOLAR