JAVIER JUAN DOMINGO ALBIN-rekin lankidetzan egindako argitalpenak (1)
2006
-
Towards solving many-valued MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic