CARLOS J. ANSOTEGUI GIL-rekin lankidetzan egindako argitalpenak (1)
2004
-
The interface between P and NP in signed CNF formulas
Proceedings of The International Symposium on Multiple-Valued Logic