MA. ALBA CABISCOL TEIXIDO-rekin lankidetzan egindako argitalpenak (1)
2009
-
Generating hard instances for MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic